An Application of Independent, Increasing, Free-choice Petri nets to the Synthesis of Policies that Enforce liveness in Arbitrary Petri Nets
Sreenivas, Ramavarapu S.
Permalink
https://hdl.handle.net/2142/103916
Description
Title An Application of Independent, Increasing, Free-choice Petri nets to the Synthesis of Policies that Enforce liveness in Arbitrary Petri Nets Author(s) Sreenivas, Ramavarapu S. Issue Date 1997 Keyword(s) Petri nets Supervisory control Liveness Publisher Coordinated Science Laboratory, University of Illinois at Urbana-Champaign. Series/Report Name or Number Coordinated Science Laboratory Report no. UILU-ENG- 97-2232, DAC-183 Type of Resource text Language en Permalink http://hdl.handle.net/2142/103916 Sponsor(s)/Grant Number(s) National Science Foundation / ECS-9409691
Owning Collections
