Files in this item

FilesDescriptionFormat

application/pdf

application/pdf97-2226.pdf (1MB)
Full textPDF

Description

Title:On Supervisory Policies that Enforce Liveness in a Class of Completely Controlled Petri Nets Obtained via Refinement
Author(s):Sreenivas, Ramavarapu S.
Subject(s):Discrete event dynamic systems
Petri nets
Liveness
Supervisory control
DEDS
Issue Date:1997-09
Publisher:Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG-97-2226, DC-182
Type:Text
Language:English
URI:http://hdl.handle.net/2142/103912
Sponsor:National Science Foundation / ECS-9409691
Date Available in IDEALS:2019-05-21


This item appears in the following Collection(s)

Item Statistics