𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Boundedness of adaptive nets is decidable

✍ Scribed by Olivia Oanea

Book ID
108154772
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
232 KB
Volume
111
Category
Article
ISSN
0020-0190

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