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

摘要：

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

关键词：Petri网、精炼、复杂系统

所属期刊栏目：22

分类号：TP14(自动化基础理论)

资助基金：国家自然科学基金60534060;60473094;90412013;国家重点基础研究发展计划973计划2003CB316902;上海市优秀学科带头人项目04XD14016

在线出版日期：2007-03-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：138-142,147