Files in this item

FilesDescriptionFormat

application/pdf

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

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.
Subject(s):Petri nets
Supervisory control
Liveness
Issue Date:1997
Publisher:Coordinated Science Laboratory, University of Illinois at Urbana-Champaign.
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG- 97-2232, DAC-183
Genre:Report (Grant or Annual)
Type:Text
Language:English
URI:http://hdl.handle.net/2142/103916
Sponsor:National Science Foundation / ECS-9409691
Date Available in IDEALS:2019-05-21


This item appears in the following Collection(s)

Item Statistics