In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, CA, pages 605-610. 1998.
Abstract: This paper combines Petri nets and digraphs to implement control policies avoiding deadlocks in flexible manufacturing systems. Some digraph deadlock characterization is translated into Petri net deadlock markings. Thus, inequality constraints on the token distribution to avoid deadlock can be deduced. By using control places, place invariants can be defined to respect these constraints.
Keywords: Petri nets, deadlock avoidance, flexible manufacturing systems.