For the most recent entries see the Petri Nets Newsletter.

Petri Net Supervisors for DES in the Presence of Uncontrollable and Unobservable Transitions.

Moody, John O.; Antsaklis, Panos J.

In: Proceedings of the 33rd Annual Allerton Conference on Communication, Control, and Computing, pages 176-185. October 1995.

Abstract: This paper describes a computationally efficient method for synthesizing feedback controllers for plants modeled by Petri nets which may contain uncontrollable transitions. The controller, a Petri net itself, computed using the concept of Petri net place invariants, enforces a set of linear constraints on the plant. It is shown how the original set of plant behavioral constraints can be transformed into a new set that will yield a controller which enforces the original constraints without directly influencing any of the uncontrollable transitions. Previous researchers have shown that this constraint transformation can be performed by solving a linear integer programming problem; the method presented in this paper is simpler computationally, but, depending on the structure of the uncontrollable part of the plant, maximal permissiveness may not be guaranteed.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography