Petri网动态运行可视化研究

Journal of Applied Sciences ›› 2001, Vol. 19 ›› Issue (3): 253-256.

• Articles • Previous Articles Next Articles

The Visualizing of the Dynamic Running of Petri Net

YE Zhi-bao¹, JIANG Chang-jun^2,3, ZHANG Zhao-qing⁴, QIAO Ru-liang⁴

1. Institute of Software, The Chinese Academy of Science, Beijing 100080, China;
2. Department of Computer Science and Engineering, Tongji University, Shanghai 200092, China;
3. Department of Computer Science and Technology, Shandong University of Science and Technology, Taian 271019, China;
4. Institute of Computer Technology, The Chinese Academy of Science, Beijing 100080, China

Received:2000-04-06 Revised:2000-10-03 Online:2001-09-30 Published:2001-09-30

Abstract

CLC Number:

TP393.01

YE Zhi-bao, JIANG Chang-jun, ZHANG Zhao-qing, QIAO Ru-liang. The Visualizing of the Dynamic Running of Petri Net[J]. Journal of Applied Sciences, 2001, 19(3): 253-256.

[1]	JIAO He-jun1,3,4, ZHANG Jing1, LI Jun-huai1, SHI Jin-fa2, LI Jian3. Cloud Workflow Model for Collaborative Design Based on Hybrid Petri Net [J]. Journal of Applied Sciences, 2014, 32(6): 645-651.
[2]	LI Sheng-chang1, SONG A-ni2, WANG Ming-zhe1. Modeling and Behavior Analysis of Hybrid System Using Timed Hierarchical CPN [J]. Journal of Applied Sciences, 2014, 32(3): 293-300.
[3]	YANG Huai-zhou, WANG Xue-long. Extended GSPN and Reduction Rules for Web Services Composition System [J]. Journal of Applied Sciences, 2013, 31(6): 633-642.
[4]	FANG Huan1;2, LU Yang1;3, GE Fang-zhen1, HUANG Zhen-jin1. Performance Evaluation for Complex Queueing System under Exhaustive-Service Policies Based on Petri Nets [J]. Journal of Applied Sciences, 2012, 30(4): 379-386.
[5]	YAN Chun-gang1;2, WANG Ming-xin1;2, LIU Guan-jun1;2. Relationship between Process Expression and Liveness of Bounded Petri Nets [J]. Journal of Applied Sciences, 2012, 30(4): 387-390.
[6]	ZHAO Ming-feng1;2, ZHOU Ya-jian2, REN Dong-xiao1, YANG Yi-xian1;2. Modeling and Analysis of Survivability of IP Multimedia Subsystem Based on SPN [J]. Journal of Applied Sciences, 2012, 30(3): 239-244.
[7]	FANG Zhe-mei, WANG Ming-zhe, YANG Cui-rong. Platform Framework of Complex Hybrid System Simulation Based on Colored Petri Nets [J]. Journal of Applied Sciences, 2011, 29(1): 105-110.
[8]	YAN Chun-gang1;2, JIANG Chang-jun1;2, DING Zhi-jun1;2, SUN Ping1;2. Language Properties for Rationality of Workflow Net System [J]. Journal of Applied Sciences, 2011, 29(1): 61-65.
[9]	YANG Cui-rong, WANG Ming-zhe, LIAO Jing-jing. Analysis of Key Events in Complex Systems Using Influence Nets [J]. Journal of Applied Sciences, 2010, 28(6): 639-645.
[10]	LIAO Jing-jing, WANG Ming-zhe. Eigenvalues of Incidence Matrices Applied to the Analysis of Petri Net Structures [J]. Journal of Applied Sciences, 2010, 28(4): 417-423.
[11]	HA Jin-bing, HU Wen-bin, YAN Yang-guang. A Research on Dynamic Access Control Technology in the Distributed Manufacturing System [J]. Journal of Applied Sciences, 2004, 22(3): 365-369.
[12]	JIANG Chang-jun. Complete Sequence Behavior Invariance of Synchronous Composition Nets [J]. Journal of Applied Sciences, 2000, 18(3): 271-275.
[13]	JIANG Chang-jun, ZHU Ming-fa, LI Guo-jie. Process Semantics of Composition Nets [J]. Journal of Applied Sciences, 2000, 18(1): 42-46.
[14]	YAN CHUNGANG, JIANG CHANGJUN. Petri Net Models of Grammars and Its Structure Algorithm [J]. Journal of Applied Sciences, 1999, 17(1): 58-63.
[15]	XU GUANGYIN. Analysis and Control of Deadlock for Multi-Resource Share System [J]. Journal of Applied Sciences, 1998, 16(3): 331-337.

The Visualizing of the Dynamic Running of Petri Net

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments