Computer Science ›› 2005, Vol. 32 ›› Issue (11): 238-240.
Previous Articles Next Articles
WU Zhen-Huan, WU Zhe-Hui (CISE, SDUST, Qingdao 266510)
Online:
Published:
Abstract: A definition of substitution operation for Petri nets is given in this paper. It is a formal description of the atepwise refinement method for the modeling of systems using Petri nets. The relationship between both substitution operations for Petri nets a
Key words: Petri net, Substitution operation, Petri net language, Stepwise refinement
WU Zhen-Huan, WU Zhe-Hui (CISE, SDUST, Qingdao 266510). [J].Computer Science, 2005, 32(11): 238-240.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2005/V32/I11/238
Cited