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

Sreenivas, Ramavarapu S.

Permalink

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

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

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