Title :
Structural properties for transformation of extended marked graphs
Author_Institution :
Fac. of Inf. Sci. & Technol., Aichi Prefectural Univ., Japan
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;
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
DOI :
10.1109/ISCAS.1999.780112