Title :
Equivalent net abstraction and firing sequence preservation
Author :
Nakagawa, Masato ; Lee, Dong-Ik S. ; Kumagai, Sadatoshi ; Kodama, Shinzo
Author_Institution :
Dept. of Electron. Eng., Osaka Univ., Japan
fDate :
30 Apr-3 May 1995
Abstract :
In this paper, we discuss an abstraction method for Petri nets based on the equivalence of a firing sequence of a specified subset of transitions. Specifically a method to generate an equivalent net which preserves the firing sequence of a set of transitions is presented. The abstraction is very useful and efficient for behavioral analysis of systems constructed by composition of modules such as communication networks
Keywords :
Petri nets; discrete event systems; state-space methods; Petri net; behavioral analysis; communication network; equivalent net abstraction; firing sequence; modules; reduction; transition subset; Character generation; Communication networks; Computational efficiency; Discrete event systems; Equations; Explosions; Petri nets; Power system modeling; State-space methods; Terminology;
Conference_Titel :
Circuits and Systems, 1995. ISCAS '95., 1995 IEEE International Symposium on
Conference_Location :
Seattle, WA
Print_ISBN :
0-7803-2570-2
DOI :
10.1109/ISCAS.1995.521563
