E. , J. Silva, and M. , Circuits, Handles, Bridges and Nets, Advances in Petri Nets, Lecture Notes in Computer Science, vol.483, pp.210-242, 1990.

K. , A. Kishinevsky, M. Taubin, A. Ten, and S. , A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings, ICATPN'96, Advances in Petri Nets, Lecture Notes in Computer Science, vol.1091, pp.346-365, 1996.

Z. , M. C. , D. Cesare, and F. , Parallel and Sequential Mutual exclusions for Petri Net Modelling of Manufacturing Systems with Shared Resources, IEEE Transaction on Robotics and Automation, vol.7, issue.4, pp.515-527, 1991.

A. , C. Castelin, E. Gentina, and J. C. , A Method for Hierarchical Modeling of the Command of Flexible Manufacturing Systems, IEEE Transaction on Systems, Man and Cybernetics, vol.24, issue.4, pp.564-573, 1994.

F. , P. Crestani, D. Prunet, and F. , A bottom-up approach for efficient qualitative analysis, First International Workshop on Manufacturing and Petri Nets, pp.129-142, 1996.

L. , J. M. Raynaud, O. Thierry, and E. , Pruning Graph with Digital search Trees Application to Distance Hereditary Graphs, STACS'00, 17 th Annual Symposium on Theoretical Aspects of Computer Science, pp.529-541, 2000.