1. Generating basis siphons and traps of Petri nets using the sign incidence matrix;Boer;IEEE Trans. Circuits Syst. I, Fundam. Theory Appl.,1994
2. Deadlock analysis of Petri nets using siphons and mathematical programming,”;Chu;IEEE Trans. Robot. Automat.,1997
3. Ezpeleta, J. and J. M. Couvreur (1991). A new technique for finding a generating family of siphons, traps and ST-components. Application to coloured Petri nets. In: Proc. Int. Conf. Applications and Theory Petri Nets, Aarhus, Denmark, pp. 126-147.
4. A Petri net-based deadlock prevention policy for flexible manufacturing system;Ezpeleta;IEEE Trans. Robot. Automat.,1995
5. Deadlock control methods in automated manufacturing systems;Fanti;IEEE Transactions on Systems, Man, & Cybernetics,2004