✦ LIBER ✦

Reachability of nonsynchronized choice Petri nets and its applications

✍ Scribed by Chao, D.Y.

Book ID: 117938426
Publisher: IEEE
Year: 2005
Tongue: English
Weight: 441 KB
Volume: 35
Category: Article
ISSN: 1083-4419
DOI: 10.1109/tsmcb.2005.850171

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reachability in live and safe free-choic

Reachability in live and safe free-choice Petri nets is NP-complete

✍ Javier Esparza 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 887 KB

The complexity of the reachability problem for live and safe free-choice Petri nets has been open for several years. Several partial results seemed to indicate that the problem is polynomial. We show that this is unlikely: the problem is NP-complete.

On the coverability and reachability lan

On the coverability and reachability languages of monotonic extensions of Petri nets

✍ Delzanno, Giorgio; Rosa-Velardo, Fernando 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 492 KB

On the reachability and reversibility pr

On the reachability and reversibility problems in a class of Petri nets

✍ Ferrarini, L. 📂 Article 📅 1994 🏛 Institute of Electrical and Electronics Engineers ⚖ 913 KB

Synthesis of deadlock prevention policy

Synthesis of deadlock prevention policy using Petri nets reachability graph technique

✍ Yi-Sheng Huang; Ta-Hsiang Chung; Pin-June Su 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 328 KB

A study of fuzzy logical petri nets and

A study of fuzzy logical petri nets and its application

✍ Changjun Jiang 📂 Article 📅 2001 🏛 SP Science Press 🌐 English ⚖ 400 KB

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 6128 || Learning Workflow Petri Nets

✍ Lilius, Johan; Penczek, Wojciech 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 328 KB

This Book Constitutes The Refereed Proceedings Of The 31st International Conference On Applications And Theory Of Petri Nets And Other Models Of Concurrency, Petri Nets 2010, Held In Braga, Portugal, In June 2010. The 16 Revised Papers Classified As Theory Papers (10), Application Papers (2), And To