| | |
Summary: Synthesis of Supervisors Enforcing General Linear Vector
Constraints in Petri Nets
Marian V. Iordache and Panos J. Antsaklis1 2
The 2002 American Control Conference, May 8-10, Anchorage, Alaska.
Abstract
This paper considers the problem of enforcing lin-
ear constraints containing marking terms, firing vec-
tor terms, and Parikh vector terms. Such constraints
increase the expressivity power of the linear marking
constraints. We show how this new type of constraints
can be enforced in Petri nets. In the case of fully con-
trollable and observable Petri nets, we give the con-
struction of a supervisor enforcing such constraints. In
the case of Petri nets with uncontrollable and/or unob-
servable transitions, we reduce the supervisor synthesis
problem to enforcing linear marking constraints on a
transformed Petri net.
1 Introduction
In this paper we consider a supervisory control prob-
lem for discrete event systems modeled as Petri nets,
|
