Loading...
Please wait, while we are loading the content...
Similar Documents
On a Minimally Restrictive Supervisory Policy that Enforces Liveness in Partially Controlled Free Choice Petri Nets (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Sreenivas, Ramavarapu S. |
| Description | IN: PROC. 39TH IEEE CONF. ON DECISION AND CONTROL |
| Abstract | A Petri Net (PN) is said to be live if it is possible to fire any transition from every reachable marking, although not necessarily immediately. Under appropriate conditions, a non-live PN can be made live via supervision. Under this paradigm an external-agent, the supervisor, prevents the firing of certain transitions at each reachable marking so as to enforce liveness. A PN is partially controlled if the supervisor can prevent the firing of only a subset of transitions. A Free Choice Petri net (FCPN) is a PN where every arc from a place to a transition is either the unique output arc from that place, or, it is the unique input arc to the transition. In this paper we show for each partially controlled FCPN that can be made live via supervision, any marking that is reachable under a policy that enforces liveness should cover (with respect to the standard partial ordering of vectors) a member of a specific, finite set of minimal-markings. Assuming this set is readily available... |
| File Format | |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Subject Keyword | Certain Transition Minimally Restrictive Supervisory Policy Unique Output Arc Reachable Marking Finite Set Enforces Liveness Appropriate Condition Unique Input Arc Standard Partial Ordering Non-live Pn Petri Net Free Choice Petri Net |
| Content Type | Text |
| Resource Type | Article |
