DocumentCode
3000678
Title
Structural properties for transformation of extended marked graphs
Author
Tsuji, Kohkichi
Author_Institution
Fac. of Inf. Sci. & Technol., Aichi Prefectural Univ., Japan
Volume
6
fYear
1999
fDate
36342
Firstpage
129
Abstract
It has been known that Petri net (PN) is a useful model for analyzing discrete event systems. It is important to investigate its structural properties and behavioral properties. In this paper, first, we introduce the transformation in order to derive more useful conditions for checking structural properties and behavioral properties of an EMG. Next, we show the properties of the transformed net N´ and the differences between a original net N and N´. Finally, we derive the structural properties for reachability by using the above properties
Keywords
Petri nets; discrete event systems; reachability analysis; Petri net; behavioral properties; deadlocks; discrete event systems; extended marked graphs; reachability; state equation; structural properties; transformation; transformed net; virtual trap; Communication system control; Concurrent computing; Control systems; Electromyography; Electronic mail; Equations; Gold; Information science; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1999. ISCAS '99. Proceedings of the 1999 IEEE International Symposium on
Conference_Location
Orlando, FL
Print_ISBN
0-7803-5471-0
Type
conf
DOI
10.1109/ISCAS.1999.780112
Filename
780112
Link To Document