For the most recent entries see the Petri Nets Newsletter.

Concurrency and maximally permissive feedback in Petri nets with external input place.

Takai, S.; Ushio, T.; Kodama, S.

In: International Journal of Control, Vol. 60, No. 4, pages 617-629. 1994.

Abstract: Concurrent discrete event systems are considered modeled by Petri nets with external input places (PNIPs), with a control specification assumed to be given in terms of a predicate. First, a necessary and sufficient condition is derived for the unique existence of maximally permissive feedback (MPF) in PNIPs controlled by either event assignment or resource allocation, which can be checked without constructing the set of all permissive feedbacks. Then it is shown that the unique existence of MPF in resource allocation control implies that it exists also in event assignment control.

Keywords: Petri nets, discrete-event systems, external input places.


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

Back to the Petri Nets Bibliography