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. ,
Behaviour of a Place-Transition Net on a Subset of Transitions ,
DOI : 10.1007/978-3-642-68353-4_22
Use of the Behavior Equivalence in Place-Transition Net Analysis ,
Structural Transformations Giving B-Equivalent PT-Nets ,
DOI : 10.1007/978-3-642-69028-0_2
Morphisms and Minimal Models for OBJSA Nets, Twelfth International Conference on Application and Theory of Petri Nets, Gjern (Danemark), 1991. ,
On Internal and External Characterizations of PT-nets Building Block Behavior Advances in Petri Nets 88, LNCS, vol.340, pp.44-61 ,
Transformation et analyse de réseaux de Petri, applications aux protocoles. Thèse d'état de l, 1983. ,
Transformations and Decompositions of Nets. Petri Nets: Central Models and their Properties, LNCS, vol.254, pp.359-376, 1986. ,
External Behavior Equivalence between two Petri Nets, Concurrency 88, pp.237-256 ,
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 ,
Réseaux de Petri: théorie et pratique. Masson, volumes 1 et 2, 1982. ,
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. ,
Validation of Phase-Executed Protocols Modelled with Colored Petri Nets, Eleventh International Conference on Application and Theory of Petri Nets, 1990. ,
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
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. ,
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
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
Superposed Automata Nets. Applications and Theory of Petri Nets, pp.269-279, 1982. ,
A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence, Concurrency 88, pp.222-236 ,
DOI : 10.1007/3-540-50403-6_42
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
Co-operating sequential processes. Programming Languages, pp.43-112, 1968. ,
Petri Nets and Software Engineering: HOOD Nets, Eleventh International Conference on Application and Theory of Petri Nets, 1990. ,
Proof Reusability in Stepwise Refinement with Petri Net Modelling: Application to a Client-Server Model, Fourth International Symposium on Computer and Information Sciences, 1989. ,
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. ,
Petri Net Methods for Design and Analysis of Distributed Systems ,
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
Refinement of actions and equivalence notions for concurrent systems, MFCS 89, pp.237-248 ,
DOI : 10.1007/s002360000041
Prevention of system deadlocks, Communications of the ACM, vol.12, issue.7, pp.373-377, 1969. ,
DOI : 10.1145/363156.363160
Extended State-Machine Allocatable Nets, an Extension of Free Choice Nets. M.I.T. Cambridge Mass, pp.78-79, 1973. ,
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. ,
A Reduction Theory for Colored Nets Advances in Petri Nets 89, LNCS, vol.424 ,
Safe States in Banker like Resource Allocation Problems Advances in Petri Nets 85, LNCS, vol.222, pp.253-277 ,
Some Deadlock Properties of Computer Systems. Computing Surveys, pp.179-196, 1972. ,
Coloured Petri Nets Advances in Petri Nets 86, LNCS, vol.254, pp.248-299, 1987. ,
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. ,
Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1969. ,
DOI : 10.1145/360248.360251
An algebra for parallelism based on petri nets, MFCS 78, pp.39-55 ,
DOI : 10.1007/3-540-08921-7_55
Modlling and Analysis of the Behaviour of Infomation Systems ,
Analysis of a Resource Allocation Problem Using Petri Nets, First European Conference on Parallel and Distributed Procesing, 1979. ,
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. ,
Semantics of Concurrent Systems: a Modular Fixed-Point Trace Approach Advances in Petri Nets 84, LNCS, vol.188, pp.353-371 ,
Méthodes d'analyse des réseaux de Petri, Réseaux à files, 1983. ,
Analysing Nets by the Invariant Method. Petri Nets: Central Models and their Properties, LNCS, vol.254, pp.300-337, 1986. ,
The Properties of Algebraic Net Schemes in Some Semantics, Eleventh International Conference on Application and Theory of Petri Nets, 1990. ,
Techniques d'analyse des réseaux de Petri algébriques, Thèse de doctorat de l, 1991. ,
Some Equivalence Notions for Concurrent Systems: An Overview Advances in Petri Nets 85, LNCS, vol.222, pp.381-400 ,
A state transformation preorder over a class of EN systems ,
DOI : 10.1007/3-540-53863-1_33
Tenth International Conference on Application and Theory of Petri nets, 1989. ,
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
On a Class of Cooperating Sequential Processors, First European Conference on Parallel and Distributed Processing, 1979. ,
Petri Nets: An Introduction, 1985. ,
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
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. ,
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
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
Quantative Analysis of a Resource Allocation Problem: a Net Theory Based Proposal. Concurrency and Nets, pp.511-532, 1987. ,
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
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
Compositional state space generation, Eleventh International Conference on Application and Theory of Petri Nets, 1990. ,
DOI : 10.1007/3-540-56689-9_54
Behavior Preserving Refinements of Petri Nets. Graph-Theoretic Concepts in, Computer Science LNCS, vol.86, issue.246, pp.82-93 ,
Failures semantics and deadlocking of modular petri nets, Acta Informática, vol.26, pp.333-348, 1989. ,
DOI : 10.1007/BFb0017178
Failures Semantics Based on Interval Semiwords is a Congruence for Refinement, pp.139-162, 1991. ,
Failures Semantics of Petri Nets and the Refinement of Places and Transitions, TUM, vol.350, 1990. ,
Asynchronous communication of Petri Nets and the refinement of transitions, 1991. ,
DOI : 10.1007/3-540-55719-9_108
Interface as a Basic Concept for System Specification and Verification . Concurrency and Nets, pp.585-604, 1987. ,