Synthesis of the Petri net controller for discrete event systems with uncontrollable transitions using place invariants

张东红,邢科义

DOI: https://doi.org/10.3969/j.issn.1001-2400.2001.01.017

2001-01-01

Journal of Xidian University

Abstract:This paper studies the problem of Petri net controllers for thediscrete event system modeled by Petri nets with uncontrollable transitions. And a sufficient and necessary condition for the existence of place invariants for a class of Petri net is proved. The controller for the Petri net without a competition structure is implemented based on the Petri net concept of path gains.