Concurrency and maximally permissive feedback in Petri nets with external input places
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama · International Journal of Control · 1994
Concurrent discrete event systems are considered modelled 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.