𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Compositionality of Boundedness and Liveness for Nested Petri Nets

✍ Scribed by Dworzański, Leonid W. ;Lomazova, Irina A.

Book ID
124092049
Publisher
IOS Press
Year
2012
Tongue
English
Weight
327 KB
Volume
120
Category
Article
ISSN
0169-2968

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On liveness and boundedness of asymmetri
On liveness and boundedness of asymmetric choice nets
✍ 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