PETRI网的基本信标理论研究
基本信息
批准号：60773001
项目类别：面上项目
资助金额：30.00
负责人：李志武
学科分类：
依托单位：西安电子科技大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-31
项目状态： 已结题
项目参与者：朱荣明,王安荣,杜淑幸,段江涛,阎明明,韦娜,秦萌,刘鼎,胡核算
关键词：
信标基本信标从属信标Petri网
结项摘要
作为Petri网的一种结构对象,信标在Petri网的行为特性分析,尤其是活性分析中起着至关重要的作用.近十多年来,从信标的角度出发,研究资源分配系统的死锁控制问题受到了广泛关注.对信标的进一步研究，对于Petri网的理论和应用具有重要的理论意义和实际应用价值.Petri网基本信标的概念,是由申请者和美国新泽西理工学院MengChu Zhou教授首次提出的，本项目拟对Petri网的基本信标理论进行深入系统的研究，包括(1) 基本信标和从属信标的可控性条件；(2) Petri网基本子类, 如AC网, FC, MG, AMG, EFC.等行为性质的基本信标表述；(3) Petri网各种应用子类中的基本信标理论,活性Petri网控制器的设计；(4) Petri网(及各种子类)的基本信标的计算方法及其时间复杂性问题；(5)推广基本信标理论,研究广义相互抑制问题;(6)高级Petri网的基本信标问题
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
DOI：10.13191/j.chj.2017.0028
发表时间：2016
2
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
3
张拉整体基本单元几何稳定构型分析
张拉整体基本单元几何稳定构型分析
DOI：10.11990/jheu.202012020
发表时间：2022
4
从分配迈向治理——均衡性转移支付与基本公共服务均等化感知
从分配迈向治理——均衡性转移支付与基本公共服务均等化感知
DOI：
发表时间：2022
5
春季黄海WP2型网采浮游动物的群落特征
春季黄海WP2型网采浮游动物的群落特征
DOI：10.13634/j.cnki.mes.2020.04.013
发表时间：2020
李志武的其他基金
批准号：61873342
批准年份：2018
资助金额：66.00
项目类别：面上项目
批准号：59505022
批准年份：1995
资助金额：7.00
项目类别：青年科学基金项目
批准号：61074035
批准年份：2010
资助金额：36.00
项目类别：面上项目
批准号：61374068
批准年份：2013
资助金额：81.00
项目类别：面上项目
批准号：60474018
批准年份：2004
资助金额：22.00
项目类别：面上项目
相似国自然基金
1
基于PETRI网基本信标的自动制造系统死锁控制研究
批准号：60474018
批准年份：2004
负责人：李志武
学科分类：F0301
资助金额：22.00
项目类别：面上项目
2
基于Petri网灵巧信标的自动制造系统死锁控制策略研究
批准号：61364004
批准年份：2013
负责人：李绍勇
学科分类：F0301
资助金额：43.00
项目类别：地区科学基金项目
3
Petri网代数
批准号：69273003
批准年份：1992
负责人：吴哲辉
学科分类：F0204
资助金额：4.00
项目类别：面上项目
4
Petri网论应用基础
批准号：68873003
批准年份：1988
负责人：袁崇义
学科分类：F0201
资助金额：5.00
项目类别：面上项目