| | |
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
|
