Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams

Yufeng Chen (1) , Ding Liu (1) , Gaiyun Liu (1) , Kamel Barkaoui (1)

1 CEDRIC - Centre d'études et de recherche en informatique et communications

Deadlocks are a constant issue in flexible manufacturing systems (FMSs). Circular wait is a necessary condition of deadlocks. In the framework of Petri nets modeling FMSs, deadlocks have a great relation with the resource circuits. In the paper, we present a symbolic approach to compute all resource circuits of Petri net models of FMSs by using binary decision diagrams (BDDs). BDDs can represent large sets of encoded data with compact shared structures and enable the efficient manipulation of those sets. Thus, the presented approach can efficiently find all resource circuits of a net model of an FMS. A number of examples are provided to demonstrate the proposed method.

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

Yufeng Chen, Ding Liu, Gaiyun Liu, Kamel Barkaoui. Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams. 5th International Conference On Modeling, Simulation and Applied Optimization, Apr 2013, Hammamet, Tunisia. pp.1-6. ⟨hal-01126279⟩