Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Petri Nets and Programming: A Survey Marian V. Iordache and Panos J. Antsaklis
 

Summary: Petri Nets and Programming: A Survey
Marian V. Iordache and Panos J. Antsaklis
Abstract-- Petri nets and related models have been used for
specification, analysis, and synthesis of programs. The paper
contains a survey of several literature approaches and an
examination of their relationship to Petri net modeling and
supervisory control. The discussion is restricted to Petri net
models in the class of place/transitions nets and the supervisory
control of this class of models.
I. INTRODUCTION
Petri nets (PNs) are formal models developed in computer
science (CS) for the modeling of concurrent systems. Since
PNs have also been used in control systems in the context
of the supervisory control (SC) of discrete event systems, it
is interesting to examine the relationship between SC and
CS applications.
The contribution of this paper is that it presents a survey
of several CS approaches and examines their relationship
to PN modeling and SC. The CS applications considered
in this paper are those related to the synthesis of computer

  

Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame

 

Collections: Engineering