Analysis of structural properties in extended marked graphs
Kohkichi Tsuji · 2002
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'.