Auromocica, Vol. 32, No. 1, pp. 15-28, 19%
Copyright 0 1995 Ekvier Science Ltd
Printed in Great Britain. All tights reserved
cooslo%/% 515.00 + 0.00
Control of Petri Nets Based on Place
KATERINA YAMALIDOU,? JOHN MOODY,? MICHAEL LEMMONt and
A computationally efficient method for constructing Petri net controllers is
presented. The method is derived using place invariants and is able to
enforce logical and algebraic constraints containing elements of the marking
and firing vectors.
Key Words-Discrete event systems; Petri nets; invariants; supervisory control.
Abstmt-This paper describes a method for constructing a
Petri net controller for a discrete event system modeled by a
Petri net. The controller consists only of places and arcs, and
is computed based on the concept of Petri net place
invariants. The size of the controller is proportional to the