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 :
بازگشت