✦ LIBER ✦

Parallel controller synthesis using Petri nets

✍ Scribed by Kozlowski, T.; Dagless, E.L.; Saul, J.M.; Adamski, M.; Szajna, J.

Book ID: 114448188
Publisher: The Institution of Electrical Engineers
Year: 1995
Tongue: English
Weight: 721 KB
Volume: 142
Category: Article
ISSN: 1350-2387
DOI: 10.1049/ip-cdt:19951886

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Petri-net-based algorithms for parallel-

Petri-net-based algorithms for parallel-controller synthesis

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

Parallel program design using high-level

Parallel program design using high-level Petri nets

✍ Gorton, Ian 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 930 KB

Deadlock Avoidance Controller Design for

Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching

✍ Aybar, A.; Iftar, A. 📂 Article 📅 2008 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 537 KB

Reduction of constraints for controller

Reduction of constraints for controller synthesis based on safe Petri Nets

✍ Abbas Dideban; Hassane Alla 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 874 KB

In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows forbidding the reachability of specific states. The number of these so-called forbidden states, and consequently the number of constraints, are large and lead to a lar

Modelling Opacity Using Petri Nets

✍ Jeremy W. Bryans; Maciej Koutny; Peter Y.A. Ryan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Performance analysis using Petri nets

✍ Alan A. Desrochers 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 621 KB