University of Illinois Urbana-Champaign

On Supervisory Policies that Enforce Liveness in a Class of Completely Controlled Petri Nets Obtained via Refinement

Sreenivas, Ramavarapu S.

Content Files
97-2226.pdf

Permalink

https://hdl.handle.net/2142/103912

Description

Title
On Supervisory Policies that Enforce Liveness in a Class of Completely Controlled Petri Nets Obtained via Refinement
Author(s)
Sreenivas, Ramavarapu S.
Issue Date
1997-09
Keyword(s)
  • Discrete event dynamic systems
  • Petri nets
  • Liveness
  • Supervisory control
  • DEDS
Date of Ingest
2019-05-21T22:06:34Z
Publisher
Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report Name or Number
Coordinated Science Laboratory Report no. UILU-ENG-97-2226, DC-182
Type of Resource
text
Language
en
Permalink
http://hdl.handle.net/2142/103912
Sponsor(s)/Grant Number(s)
National Science Foundation / ECS-9409691

Owning Collections

Report - Coordinated Science Laboratory PRIMARY