Supervisory control of deterministic Petri nets with regular specification languages

Ratnesh Kumar, Lawrence E. Holloway

Research output: Contribution to journalArticlepeer-review

39 Scopus citations


Algorithms for computing a minimally restrictive control in the context of supervisory control of discrete-event systems have been well developed when both the plant and the desired behavior are given as regular languages. In this paper we extend such prior results by presenting an algorithm for computing a minimally restrictive control when the plant behavior is a deterministic Petri net language and the desired behavior is a regular language. As part of the development of the algorithm, we establish the following results that are of independent interest: i) the problem of determining whether a given deterministic Petri net language is controllable with respect to another deterministic Petri net language is reducible to a reachability problem of Petri nets and ii) the problem of synthesizing the minimally restrictive supervisor so that the controlled system generates the supremal controllable sublanguage is reducible to a forbidden marking problem. In particular, we can directly identify the set of forbidden markings without having to construct any reachability tree.

Original languageEnglish
Pages (from-to)245-249
Number of pages5
JournalIEEE Transactions on Automatic Control
Issue number2
StatePublished - 1996

Bibliographical note

Funding Information:
Algorithms for testing controllability of K with respect to L and those for computing KT have been developed when both K and L Manuscript received August 9, 1994; revised March 23, 1995, July 5, 1995, and August 21, 1995. This work was supported in part by the Center for Robotics and Manufacturing at the University of Kentucky, the NSF under Grants NSF-ECS-9308737 and NSF-ECS-9409712, NASA under Grant NGT-40049, and Rockwell International The authors are with the Department of Electrical Engineering, University of Kentucky, Lexington, KY 40506-0046 USA. Publisher Item Identifier S 0018-9286(96)00988-9.

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Computer Science Applications
  • Electrical and Electronic Engineering


Dive into the research topics of 'Supervisory control of deterministic Petri nets with regular specification languages'. Together they form a unique fingerprint.

Cite this