A synthesis approach to Petri nets with combined place marking and transition firing constraint

A synthesis approach to a class of discrete event systems (DES) modeled by Petri nets (PN) is studied in this paper. The control constraint involves both of place (marking) and transition (firing). The basic idea behind the controller synthesis method is using the concept of finite capacity place to implement the control goal. The synthesis method has the advantage of indicating whether the constraint can be enforced due to the cause of deadlock. Furthermore, comparing with the reported methods, the presented synthesis can be applied to a more general case.