Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets

M.V. Iordache, P.J. Antsaklis

Proceedings of the 2002 American Control Conference
pp. 154-159. Anchorage, AK, USA, May 8-10, 2002.

Abstract- This paper considers the problem of enforcing linear constraints containing marking terms, ring vector 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 controllable and observable Petri nets, we give the construction of a supervisor enforcing such constraints. In the case of Petri nets with uncontrollable and/or unobservable transitions, we reduce the supervisor synthesis problem to enforcing linear marking constraints on a transformed Petri net.

[pdf file]