| 基于精炼操作的Petri网建模及其分析方法 |
| |
| 引用本文： | 丁志军,蒋昌俊. 基于精炼操作的Petri网建模及其分析方法[J]. 控制与决策, 2007, 22(2): 138-142 |
| |
| 作者姓名： | 丁志军 蒋昌俊 |
| |
| 作者单位： | 1. 同济大学,计算机科学与工程系,上海,201804;山东科技大学,信息科学与工程学院,山东,青岛,266510
2. 同济大学,计算机科学与工程系,上海,201804 |
| |
| 基金项目： | 国家自然科学基金项目（60534060,60473094,90412013）;国家973计划项目（2003CB316902）;上海市优秀学科带头人计划项目（04XD14016）. |
| |
| 摘 要： | 针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.
|
| 关 键 词： | Petri网 精炼 复杂系统 |
| 文章编号： | 1001-0920（2007）02-0138-05 |
| 收稿时间： | 2005-10-27 |
| 修稿时间： | 2006-02-28 |
Petri nets modeling and analysis method based on the refinement operation |
| |
| DING Zhi-jun,JIANG Chang-jun. Petri nets modeling and analysis method based on the refinement operation[J]. Control and Decision, 2007, 22(2): 138-142 |
| |
| Authors: | DING Zhi-jun JIANG Chang-jun |
| |
| Abstract: | The refinement operation of Petri nets is provided for modeling and analyzing complex system.Based on the sequences projection,the behavior relationship between refined Petri nets and original nets or subnets is established,at the same time,the dynamic properties of refinement operation are discussed in detail.As a result,conditions and theories under which a subnet can take the place of a single transition while preserving properties such as liveness and boundedness are presented.Finally,the usability of the research results presented is illustrated by an example of sequent resource shared systems.Refinement technique can be used as a top down approach for synthesizing Petri net model of complex system simultaneously and reduce the complexity of model analysis. |
| |
| Keywords: | Petri nets Refinement Complex system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《控制与决策》浏览原始摘要信息 |
|
点击此处可从《控制与决策》下载免费的PDF全文 |
|
