. Bibliographie-[-l-]-c and . André, Systèmes à évolutions parallèles: Modélisation -par réseaux de Petri à capacités et analyse par abstraction. Thèse d'état de l, 1981.

C. André, Behaviour of a Place-Transition Net on a Subset of Transitions
DOI : 10.1007/978-3-642-68353-4_22

C. André, Use of the Behavior Equivalence in Place-Transition Net Analysis

C. André, Structural Transformations Giving B-Equivalent PT-Nets
DOI : 10.1007/978-3-642-69028-0_2

E. Battiston, F. , D. Cindio, G. Mauri, and L. Rapanotti, Morphisms and Minimal Models for OBJSA Nets, Twelfth International Conference on Application and Theory of Petri Nets, Gjern (Danemark), 1991.

B. Baumgarten, On Internal and External Characterizations of PT-nets Building Block Behavior Advances in Petri Nets 88, LNCS, vol.340, pp.44-61

G. Berthelot, Transformation et analyse de réseaux de Petri, applications aux protocoles. Thèse d'état de l, 1983.

G. Berthelot, Transformations and Decompositions of Nets. Petri Nets: Central Models and their Properties, LNCS, vol.254, pp.359-376, 1986.

A. Bourguet-rouger, External Behavior Equivalence between two Petri Nets, Concurrency 88, pp.237-256

A. Bourguet-rouger, Etude de la concordance de comportement de deux réseaux de Petri Application à la validation de protocoles. Détection automatique des erreurs de conception, p.27

]. G. Brams, Réseaux de Petri: théorie et pratique. Masson, volumes 1 et 2, 1982.

G. Chehaibar, Mise en Pratique de l'Intégration de Preuves dans la conception Progressive de Protocoles, Journées FIRTECH Systèmes et Télématique "Méthodes et Outils pour la Spécification et la Validation des Protocoles, 1990.

G. Chehaibar, Validation of Phase-Executed Protocols Modelled with Colored Petri Nets, Eleventh International Conference on Application and Theory of Petri Nets, 1990.

G. Chehaibar, Replacement of open interface subnets and stable state transformation equivalence, Twelfth International Conference on Application and Theory of Petri Nets, Gjern (Danemark), 1991.
DOI : 10.1007/3-540-56689-9_37

G. Chehaibar, Use of Reentrant Nets in Modular Analysis of Colored Nets. High-level Petri Nets: Theory and Application, et dans Advances in Petri Nets 91, 1991.

G. Chiola, C. Duteillet, G. Franceschinis, and S. Haddad, On Well-Formed Colored Nets and their Symbolic Reachability Graph, Eleventh International Conference on Application and Theory of Petri Nets, 1990.
DOI : 10.1007/978-3-642-84524-6_13

J. M. Colom and M. Silva, Improving the linearly based characterization of P/T nets, Tenth International Conference on Application and Theory of Petri Nets, 1989.
DOI : 10.1007/3-540-53863-1_23

F. De-cindio, G. De-michelis, L. Pomeilo, and C. Simone, Superposed Automata Nets. Applications and Theory of Petri Nets, pp.269-279, 1982.

F. De-cindio, G. De-michelis, L. Pomeilo, and C. Simone, A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence, Concurrency 88, pp.222-236
DOI : 10.1007/3-540-50403-6_42

D. Cindio, G. De-michelis, and C. Simone, GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems, Advances in Petri Nets 87, pp.21-44
DOI : 10.1007/3-540-18086-9_18

E. W. Dijkstra, Co-operating sequential processes. Programming Languages, pp.43-112, 1968.

R. and D. Giovanni, Petri Nets and Software Engineering: HOOD Nets, Eleventh International Conference on Application and Theory of Petri Nets, 1990.

C. Girault and G. Chehaibar, Proof Reusability in Stepwise Refinement with Petri Net Modelling: Application to a Client-Server Model, Fourth International Symposium on Computer and Information Sciences, 1989.

C. Girault, Modélisation Hiérarchique d'un Système Distribué Journées FIRTECH Systèmes et Télématique "Méthodes et Outils pour la Spécification et la Validation des Protocoles, 1990.

C. Girault, Petri Net Methods for Design and Analysis of Distributed Systems

H. J. Genrich and E. Stankiewicz-wiechno, A dictionary of some basic notions of net theory, Proceedings of Advanced Course on General Net Theory of Processes and Systems, 1979.
DOI : 10.1007/3-540-10001-6_39

R. Van-glabbeek and U. Goltz, Refinement of actions and equivalence notions for concurrent systems, MFCS 89, pp.237-248
DOI : 10.1007/s002360000041

A. N. Habermann, Prevention of system deadlocks, Communications of the ACM, vol.12, issue.7, pp.373-377, 1969.
DOI : 10.1145/363156.363160

M. Hack, Extended State-Machine Allocatable Nets, an Extension of Free Choice Nets. M.I.T. Cambridge Mass, pp.78-79, 1973.

S. Haddad, Une catégorie régulière de réseau de Petri de haut niveau: définition, propriétés et réductions. Applications à la validation de systèmes distribués, 1987.

S. Haddad, A Reduction Theory for Colored Nets Advances in Petri Nets 89, LNCS, vol.424

D. Hauschildt and R. Valk, Safe States in Banker like Resource Allocation Problems Advances in Petri Nets 85, LNCS, vol.222, pp.253-277

R. C. Holt, Some Deadlock Properties of Computer Systems. Computing Surveys, pp.179-196, 1972.

K. Jensen, Coloured Petri Nets Advances in Petri Nets 86, LNCS, vol.254, pp.248-299, 1987.

C. Johnen, Analyse Algorithmique ¿es Réseaux de Petri: Vérification d'Espace d'Accueil, Systèmes de Réécriture, Thèse de doctorat de l, 1987.

R. M. Keller, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1969.
DOI : 10.1145/360248.360251

V. E. Kotov, An algebra for parallelism based on petri nets, MFCS 78, pp.39-55
DOI : 10.1007/3-540-08921-7_55

G. Lausen, Modlling and Analysis of the Behaviour of Infomation Systems

K. Lautenbach and P. S. Thiagarajan, Analysis of a Resource Allocation Problem Using Petri Nets, First European Conference on Parallel and Distributed Procesing, 1979.

J. C. Lloret, Réseaux prédicat/transition étiquetés pour la modélisation et la vérification de systèmes informatiques répartis, Thèse de doctorat de l'Université Paul Sabatier, 1990.

A. Mazurkiewicz, Semantics of Concurrent Systems: a Modular Fixed-Point Trace Approach Advances in Petri Nets 84, LNCS, vol.188, pp.353-371

G. Memrrxi, Méthodes d'analyse des réseaux de Petri, Réseaux à files, 1983.

G. Memmi and J. Vautherin, Analysing Nets by the Invariant Method. Petri Nets: Central Models and their Properties, LNCS, vol.254, pp.300-337, 1986.

C. Dimitrovici, U. Hummert, and L. Petrucci, The Properties of Algebraic Net Schemes in Some Semantics, Eleventh International Conference on Application and Theory of Petri Nets, 1990.

L. Petrucci, Techniques d'analyse des réseaux de Petri algébriques, Thèse de doctorat de l, 1991.

L. Pomello, Some Equivalence Notions for Concurrent Systems: An Overview Advances in Petri Nets 85, LNCS, vol.222, pp.381-400

L. Pomello and C. Simone, A state transformation preorder over a class of EN systems
DOI : 10.1007/3-540-53863-1_33

. Systems, Tenth International Conference on Application and Theory of Petri nets, 1989.

L. Pomello, Refinement of concurrent systems based on local state transformations, Stepwise Refinement of Distributed Systems, pp.641-668, 1990.
DOI : 10.1007/3-540-52559-9_82

W. Reisig, On a Class of Cooperating Sequential Processors, First European Conference on Parallel and Distributed Processing, 1979.

W. Reisig, Petri Nets: An Introduction, 1985.

Y. Souissi and G. Memmi, Composition of nets via a communication medium, Tenth International Conference on Application and Theory of Petri Nets, 1989.
DOI : 10.1007/3-540-53863-1_34

Y. Souissi, Une Etude de la Preservation de Propriétés par Composition de Réseaux de Petri. Quelques Extensions aux Réseaux à Files. Application à la Validation de Protocoles de Communication, Thèse de doctorat de l, 1990.

Y. Souissi, Deterministic systems of sequential processes: A class of structured Petri nets, Twelfth International Conference on Application and Theory of Petri Nets, 1991.
DOI : 10.1007/3-540-56689-9_53

I. Suzuki and T. Murata, A method for stepwise refinement and abstraction of Petri nets, Journal of Computer and System Sciences, vol.27, issue.1, pp.51-76, 1983.
DOI : 10.1016/0022-0000(83)90029-6

M. Tazza, Quantative Analysis of a Resource Allocation Problem: a Net Theory Based Proposal. Concurrency and Nets, pp.511-532, 1987.

R. Valette, Analysis of petri nets by stepwise refinements, Journal of Computer and System Sciences, vol.18, issue.1, pp.35-46, 1979.
DOI : 10.1016/0022-0000(79)90050-3

R. Valk and M. Jantzen, The residue of vector sets with applications to decidability problems in Petri nets, Acta Informatica, vol.23, issue.6, pp.643-674, 1985.
DOI : 10.1007/BF00289715

A. Valmari, Compositional state space generation, Eleventh International Conference on Application and Theory of Petri Nets, 1990.
DOI : 10.1007/3-540-56689-9_54

W. Vogler, Behavior Preserving Refinements of Petri Nets. Graph-Theoretic Concepts in, Computer Science LNCS, vol.86, issue.246, pp.82-93

W. Vogler, Failures semantics and deadlocking of modular petri nets, Acta Informática, vol.26, pp.333-348, 1989.
DOI : 10.1007/BFb0017178

W. Vogler, Failures Semantics Based on Interval Semiwords is a Congruence for Refinement, pp.139-162, 1991.

W. Vogler, Failures Semantics of Petri Nets and the Refinement of Places and Transitions, TUM, vol.350, 1990.

]. W. Vogler, Asynchronous communication of Petri Nets and the refinement of transitions, 1991.
DOI : 10.1007/3-540-55719-9_108

K. Voss, Interface as a Basic Concept for System Specification and Verification . Concurrency and Nets, pp.585-604, 1987.