DocumentCode
299253
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
Volume
1
fYear
1995
fDate
30 Apr-3 May 1995
Firstpage
513
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1995. ISCAS '95., 1995 IEEE International Symposium on
Conference_Location
Seattle, WA
Print_ISBN
0-7803-2570-2
Type
conf
DOI
10.1109/ISCAS.1995.521563
Filename
521563
Link To Document