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.3969/j.issn.1001-1978.2021.12.004
发表时间：2021
2
异质环境中西尼罗河病毒稳态问题解的存在唯一性
异质环境中西尼罗河病毒稳态问题解的存在唯一性
DOI：10.16119/j.cnki.issn1671-6876.2017.04.001
发表时间：2017
3
我国种粮农户耕地流转的基本特点及政策启示
我国种粮农户耕地流转的基本特点及政策启示
DOI：
发表时间：2017
4
日本农业基本建设投资体系的演变、特征及其启示
日本农业基本建设投资体系的演变、特征及其启示
DOI：
发表时间：2017
5
无线充电电动汽车V2G模式下光储直流微电网能量管理策略
无线充电电动汽车V2G模式下光储直流微电网能量管理策略
DOI：10.19595/j.cnki.1000-6753.tces.211279
发表时间：2022
李志武的其他基金
批准号：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
项目类别：面上项目