๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Control Synthesis of Petri Nets Based on S-Decreases

โœ Scribed by Chen Haoxun

Book ID
110263668
Publisher
Springer
Year
2000
Tongue
English
Weight
165 KB
Volume
10
Category
Article
ISSN
0924-6703

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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