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

Reduction of constraints for controller synthesis based on safe Petri Nets

โœ Scribed by Abbas Dideban; Hassane Alla

Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
874 KB
Volume
44
Category
Article
ISSN
0005-1098

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 large number of control places. A systematic method to reduce the size and the number of constraints for safe Petri Nets is offered. By using a method based on Petri Net invariants, maximal permissive controllers are determined.

๐Ÿ“œ SIMILAR VOLUMES

Real-time control software for transacti
Real-time control software for transaction processing based on colored safe Petri Net model
โœ Tomohiro Murata; Norihisa Komoda ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer US ๐ŸŒ English โš– 559 KB

A Petri Net-based real-time control software system for transaction processing is proposed to improve flexibility and maintainability in real-time application software. This software system is named Station Controller (SCR). Transaction processing control programs can be understandably described usi