On liveness and boundedness of asymmetri
β
Li Jiao; To-Yat Cheung; Weiming Lu
π
Article
π
2004
π
Elsevier Science
π
English
β 444 KB
This paper concerns two important techniques, characterization and property-preserving transformation, for verifying some basic properties of asymmetric choice Petri nets (AC nets). In the literature, a majority of the characterizations are for ordinary free choice nets. This paper presents many ext