Computer Science ›› 2009, Vol. 36 ›› Issue (2): 230-233.
Previous Articles Next Articles
YUE Hao ,WU Zhe-hui (College of Information, Shandong University of Science and Technology, Qingdao 266510,China)
Online:
Published:
Abstract: The invariant conservation condition for the replacement operation of Petri nets was proposed. One can obtain the T- invariant(or S- invariant) of the refined model N' using the T- invariant(or S- invariant) of the original model N and sub-system model N1
Key words: Petri net, Invariant, Conservation condition
YUE Hao ,WU Zhe-hui (College of Information, Shandong University of Science and Technology, Qingdao 266510,China). [J].Computer Science, 2009, 36(2): 230-233.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I2/230
Cited