✦ LIBER ✦

Computing bounds for forbidden State reachability functions for controlled Petri nets

✍ Scribed by Holloway, L.E.; Khare, A.S.; Yu Gong

Book ID: 117937194
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 407 KB
Volume: 34
Category: Article
ISSN: 1083-4427
DOI: 10.1109/tsmca.2003.822279

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computing bounds for forbidden State rea

Computing bounds for forbidden State reachability functions for controlled Petri nets

✍ Holloway, L.E.; Khare, A.S.; Yu Gong 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 407 KB

Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets which ens

Structuring Acyclic Petri Nets for Reach

Structuring Acyclic Petri Nets for Reachability Analysis and Control

✍ G. Stremersch; R. K. Boel 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 476 KB

An Efficient Method for Computing Exact

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches

✍ Morgan Magnin; Didier Lime; Olivier (H.) Roux 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 326 KB

Computation of Performance Bounds for Re

Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets

✍ Bernardi, S.; Campos, J. 📂 Article 📅 2009 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 379 KB

Efficient functional verification algori

Efficient functional verification algorithm for Petri-net-based parallel controller designs

✍ Bilinski, K.; Saul, J.M.; Dagless, E.L. 📂 Article 📅 1995 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 650 KB

On Siphon Computation for Deadlock Contr

On Siphon Computation for Deadlock Control in a Class of Petri Nets

✍ ZhiWu Li; MengChu Zhou 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 791 KB