For the most recent entries see the
Petri Nets Newsletter.
Azéma, P.
-
Vernadat, F.;
Azéma, P.:
High Level Transition Systems for Communicating Agents.
2001.
-
Vernadat, François;
Azéma, Pierre;
Michel, François:
Covering Step Graph.
1996.
-
Papapanagiotakis, G.;
Azéma, P.;
Pradin-Chezalviel, B.:
On a PROLOG Environment for Protocol Analysis.
1986.
-
Papapanagiotakis, G.;
Azéma, P.;
Pradin-Chezalviel, B.:
Propositional Branching Time Temporal Logic in PROLOG.
1986.
-
Diaz, M.;
Azéma, P.:
Petri Net Based Models for the Specification and Validation of Protocols.
1985.
-
Azéma, P.;
Papapanagiotakis, G.:
Protocol Analysis Using Predicate Nets.
1985.
-
Azéma, P.;
Juanole, G.;
Sanchis, E.;
Montbernard, M.:
Specification and Verification of Distributed Systems Using PROLOG Interpreted Petri Nets.
1984.
-
Ayache, J.M.;
Azéma, P.;
Diaz, M.:
Towards Fault Tolerant Real Time Systems by Using Petri Nets.
1982.
-
Azéma, P.;
Rolin, P.;
Sedillot, S.:
Virtual Ring Protection in Distributed Systems.
1981.
-
Azéma, P.;
Berthomieu, B.:
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.
1980.
-
Berthomieu, B.;
Decitre, P.;
Azéma, P.:
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.
1980.
-
Ayache, J.M.;
Azéma, P.;
Diaz, M.:
Observer: A Concept for On-line Detection of Control Errors in Concurrent Systems.
1979.
-
Azéma, P.;
Ayache, J.M.;
Berthomieu, B.:
Design and Verification of Communication Procedures: A Bottom-up Approach.
1978.
-
Azéma, P.;
Diaz, M.:
Checking Experiments for Concurrent Systems.
1977.
-
Azéma, P.;
Valette, R.;
Renalier, M.:
Programme de Simulation et d'Analyse des Schemas a Reseaux de Petri, en Langage APL.
1977.
-
Azéma, P.;
Diaz, M.:
Test Oriented Interpreted Petri Nets for Concurrent Systems.
1976.
-
Azéma, P.;
Renalier, J.;
Diaz, M.:
Description Formelle et Simulation D'Automatismes Logiques. Application a l'Obtention de Sequences Fonctionelles.
1976.
-
Azéma, P.;
Valette, R.;
Diaz, M.:
Petri Nets as a Common Tool for Design Verification and Hardware Simulation.
1976.
-
Azéma, P.;
Diaz, M.;
Doucet, J.E.:
Multilevel Description Using Petri Nets.
1975.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography