✦ LIBER ✦

A modified reachability tree approach to analysis of unbounded Petri nets

✍ Scribed by Fei-Yue Wang; Yanqing Gao; MengChu Zhou

Book ID: 117938099
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 187 KB
Volume: 34
Category: Article
ISSN: 1083-4419
DOI: 10.1109/tsmcb.2003.811516

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on "A Modified Reachability Tre

Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets

✍ Yu Ru; Wu, W.; Hadjicostis, C.N. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 52 KB

Reachability trees for Petri nets: a heu

Reachability trees for Petri nets: a heuristic approach

✍ G. Uma; B.E. Prasad 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Deadlock Checking for One-Place Unbounde

Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees

✍ ZhiJun Ding; ChangJun Jiang; MengChu Zhou 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 139 KB

Petri net approach to the analysis of a

Petri net approach to the analysis of a structured program

✍ G.S. Hura 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 227 KB

A petri net approach to determine all sp

A petri net approach to determine all spanning trees for overall reliability analysis of general networks

✍ Vinod Kumar; K.K. Aggarwal 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 361 KB

Petri Nets ( PNs) form a very useful model for procedures, organization and devices where information flows play an important role. They can represent the system at different levels of abstraction ranging from a single bit in a computer memory to the embedding of a computer system into its environme

A Petri Net Approach to Analysis and Com

A Petri Net Approach to Analysis and Composition of Web Services

✍ PengCheng Xiong; YuShun Fan; MengChu Zhou 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 624 KB