University of Illinois Urbana-Champaign

An Application of Independent, Increasing, Free-choice Petri nets to the Synthesis of Policies that Enforce liveness in Arbitrary Petri Nets

Sreenivas, Ramavarapu S.

Content Files
97-2232.pdf

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
Date of Ingest
2019-05-21T22:17:30Z
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
Genre of Resource
Report (Grant or Annual)
Language
en
Permalink
http://hdl.handle.net/2142/103916
Sponsor(s)/Grant Number(s)
National Science Foundation / ECS-9409691

Owning Collections

Report - Coordinated Science Laboratory PRIMARY