Title :
Analysis of structural properties in extended marked graphs
Author_Institution :
Aichi Prefectural Univ., Nagoya, Japan
Abstract :
Proposes the transformation rule in order to derive more useful condition for checking structural properties and behavioral properties of an EMG. We have shown the properties of the transformed net N´ and the differences between a original net N and N´. We have also shown that the solution of its state equation had been derived by this transformation rule. Further investigation is the derivation of the necessary and sufficient condition for reachability of N and structural properties of N by using the transformed net N´
Keywords :
Petri nets; behavioral properties; extended marked graphs; reachability; state equation; structural properties; transformation rule; transformed net; Communication system control; Concurrent computing; Control system synthesis; Discrete event systems; Electromyography; Electronic mail; Petri nets; Protocols; Sufficient conditions; System recovery;
Conference_Titel :
Circuits and Systems, 1997. ISCAS '97., Proceedings of 1997 IEEE International Symposium on
Print_ISBN :
0-7803-3583-X
DOI :
10.1109/ISCAS.1997.621900
