A Survey of Petri Net Methods for Controlled Discrete EventSystems

  • Authors:

  • L. E. Holloway;B. H. Krogh;A. Giua

  • Affiliations:

  • Center for Robotics and Manufacturing Systems and Department of Electrical Engineering, University of Kentucky, Lexington, KY 40506-0108, USA;Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213-3890, USA;Dipartimento di Ingegneria Elettrica ed Elettronica, Università di Cagliari, Piazza d‘Armi, 09123 Cagliari, Italy

  • Venue:
  • Discrete Event Dynamic Systems
  • Year:
  • 1997

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper surveys recent research on the applicationof Petri net models to the analysis and synthesis of controllersfor discrete event systems. Petri nets have been used extensivelyin applications such as automated manufacturing, and there existsa large body of tools for qualitative and quantitative analysisof Petri nets. The goal of Petri net research in discrete eventsystems is to exploit the structural properties of Petri netmodels in computationally efficient algorithms for computingcontrols. We present an overview of the various models and problemsformulated in the literature focusing on two particular models,the controlled Petri nets and the labeled nets. We describe twobasic approaches for controller synthesis, based on state feedbackand event feedback. We also discuss two efficient techniquesfor the on-line computation of the control law, namely the linearinteger programming approach which takes advantage of the linearstructure of the Petri net state transition equation, and path-basedalgorithms which take advantage of the graphical structure ofPetri net models. Extensions to timed models are briefly described.The paper concludes with a discussion of directions for futureresearch.