𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Structuring Acyclic Petri Nets for Reachability Analysis and Control

✍ Scribed by G. Stremersch; R. K. Boel

Book ID
110321137
Publisher
Springer
Year
2002
Tongue
English
Weight
476 KB
Volume
12
Category
Article
ISSN
0924-6703

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