Petri网精细化操作及其在系统设计中的应用

被引：17

作者：

夏传良 ^{[1
]}

焦莉 ^{[2
]}

陆维明 ^{[1
]}

机构：

[1] 中国科学院数学与系统科学研究院计算机科学研究室

[2] 中国科学院软件研究所计算机科学重点实验室

来源：

软件学报 | 2006年 / 01期

关键词：

Petri网; 精细化操作; 活性; 有界性; 系统设计;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.

引用

页码：11 / 19

页数：9

共 8 条

[1] Petri Nets:An Introduction. Reisig W. . 1985
[2] Petri nets:Properties,analysis,and applications. Murata T. Proc.of the IEEE .
[3] Construction and stepwise refinement of dependability models. Betous-Almeida C,Kanoun K. Performance Evaluation . 2004
[4] Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems. Nketsa A,Valette R. Journal of Applied Mathematics . 2001
[5] A theorey of implementation and refinement in timed Petri nets. Felder M,Gargantini A,Morzenti A. Theoretical Computer Science . 1998
[6] Workflow Management Models,Methods,and Systems. van der Aalst W,van Hee K. . 2004
[7] Rule-Based refinement of high-level nets preserving safety properties. Padberg J,Gajewsky M,Ermel C. Science of Computer Programming . 2001
[8] Structure and behavior preservation by Petri-net-based refinements in system design. Huang H,Cheung TY,Mak WM. Theoretical Computer Science . 2004

← 1 →