基于精炼操作的Petri网建模及其分析方法

• 作者: 丁志军 蒋昌俊
• 来源期刊: 控制与决策
• 学科: 工学
• 关键词: Petri网 精炼 复杂系统
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 论文与报告
• 页码范围: 138-142,147
• 页数: 6页
• 分类号: TP14
• 字数: 5280字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0920.2007.02.004

摘要

针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机科学与工程系	93	1492	18.0	36.0
2	丁志军	同济大学计算机科学与工程系	37	329	8.0	17.0