✦ LIBER ✦

Petri-net-based algorithms for parallel-controller synthesis

✍ Scribed by Bilinski, K.; Adamski, M.; Saul, J.M.; Dagless, E.L.

Book ID: 114448129
Publisher: The Institution of Electrical Engineers
Year: 1994
Tongue: English
Weight: 366 KB
Volume: 141
Category: Article
ISSN: 1350-2387
DOI: 10.1049/ip-cdt:19941508

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Parallel controller synthesis using Petr

Parallel controller synthesis using Petri nets

✍ Kozlowski, T.; Dagless, E.L.; Saul, J.M.; Adamski, M.; Szajna, J. 📂 Article 📅 1995 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 721 KB

Fuzzy Petri net-based programmable logic

Fuzzy Petri net-based programmable logic controller

✍ Andreu, D.; Pascal, J.-C.; Valette, R. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 261 KB

Control Synthesis of Petri Nets Based on

Control Synthesis of Petri Nets Based on S-Decreases

✍ Chen Haoxun 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 165 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

Synthesis a Petri net based control mode

Synthesis a Petri net based control model for a FMS cell

✍ Ali A. Pouyan; Heydar Toossian Shandiz; Soheil Arastehfar 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 632 KB