K. R. Apt and D. C. Kozen, Limits for automatic verification of finite-state concurrent systems, Information Processing Letters, vol.22, issue.6, pp.307-309, 1986.

F. Balarin and A. L. Sangiovanni-vincentelli, On the Automatic Computation of Network Invariants, Proceedings of Computer Aided Verification: 6th International Conference, CAV'94, vol.818, pp.234-246, 1994.

G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications, IEEE Transactions on Computers, vol.42, issue.11, pp.1343-1360, 1993.

E. M. Clarke, E. A. Emerson, and J. Sistla, Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specification, ACM Transactions on Programming languages and systems, vol.8, pp.244-263, 1986.

E. M. Clarke and O. Grumberg, Avoiding The State Explosion Problem in Temporal Logic Model Checking Algorithms, Proceedings of the 6th ACM Symposium on Principles of Distributed, pp.244-303, 1987.

E. M. Clarke, O. Grumberg, and S. Jha, Verifying Paramererized Networks using Abstraction and Regular Languages, Proceedings of the Concur'95, pp.365-407, 1995.

. Cpn-ami, Reference manual, 1.2 version, 1994.

A. Finkel, A minimal Coverability Graph for Petri Nets, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, pp.233-245, 1990.

S. German and A. P. Sistla, Reasoning about Systems with Many Processes, JACM, vol.39, pp.675-735, 1992.

R. M. Karp and R. E. Miller, Parallel Program Schemata, Journal of Computer science, vol.3, 1969.

R. P. Kurshan and K. Mcmillan, A Structural Induction Theorem for Processes, Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, pp.239-247, 1989.

J. M. Morris, A starvation-free Solution to the Mutual Exclusion Problem, Information Processing Letter, vol.8, pp.76-80, 1979.

W. Reisig, EATCS Monographs on Theoretical Computer, 1985.

J. K. Rho and F. Somenzi, Automatic generation of networks invariants for the verification of iterative sequential systems, Proceedings of the 5th International Conference, CAV'93, vol.697, pp.123-137, 1993.

Z. Shtadler and O. Grumberg, Network Grammars, Communication Behaviors and Automatic Verification, Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, vol.407, pp.152-165, 1989.

I. Suzuki, Proving properties of a ring of finite-state machines, Information Processing Letters, vol.28, pp.213-214, 1988.

A. Valmari, Stubborn Sets for Reduced State Space Generation, Advances in Petri Nets, vol.483, pp.491-515, 1991.

I. Vernier, Parameterized Evaluation of CTL-X Formulae, ICTLWorkshop, pp.22-31, 1994.

I. Vernier, Symbolic Verification of Parallel Programs, 1995.

P. Wolper and V. Lovinfosse, Verifying Properties of Large Sets of Processes with Network Invariants, Proceedings of the Proc.International Workshop on Automatic Verification Methods for Finite State Systems, vol.407, pp.68-80, 1989.