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.
['Kiichiro Tsuji']
Structural properties for transformation of extended marked graphs