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