For the most recent entries see the
Petri Nets Newsletter.
Berthelot, G.
-
Bonhomme, Patrice;
Aygalinc, Pascal;
Berthelot, Gerard;
Calvez, Soizick:
Hierarchical control of time Petri nets by means of transformations.
2002.
-
Berthelot, G.;
Petrucci, L.:
Specification and Validation of a Concurrent System: An Educational Project.
2000.
-
Berthelot, Gúrard;
Boucheneb, Hanifa:
Occurrence Graphs for Interval Timed Coloured Nets.
1994.
-
Boucheneb, Hannifa;
Berthelot, Gúrard:
Towards a Simplified Building of Time Petri Nets Reachability Graph.
1993.
-
Berthelot, G.;
Finkel, A.;
Johnen, C.;
Petrucci, L.:
A Generic Example for Testing Performance of Reachability and Covering Graphs Construction Algorithms.
1990.
-
Berthelot, G.;
Pétrucci, L.:
Putting Algebraic Nets into Practice.
1989.
-
Berthelot, G.;
Johnen, C.;
Petrucci, L.:
PAPETRI: poste d'analyse des réseaux de Petri.
1989.
-
Berthelot, G.;
Vautherin, J.;
Vidal-Naquet, G.:
A Syntax for the Description of Petri Nets.
1988.
-
Berthelot, G.:
Transformations and Decompositions of Nets.
1987.
-
Berthelot, G.:
Checking Properties of Nets Using Transformations.
1986.
-
Berthelot, G.:
Analyse de Processus paralleles par Transformation de Reseaux de Petri: Application a un Protocole de Reseau.
1985.
-
Berthelot, G.:
Transformations de Reseaux de Petri.
1985.
-
Berthelot, G.;
Memmi, G.;
Reisig, W.:
A Control Structure for Sequential Processes Synchronized by Buffers.
1983.
-
Berthelot, G.:
Transformations et Analyse de Reseaux de Petri. Applications aux Protocoles.
1983.
-
Berthelot, G.;
Girault, C.;
Roucairol, G.:
Petri Net Modelling and Reliability of Distributed Algorithms.
1982.
-
Berthelot, G.;
Terrat, R.:
Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets.
1982.
-
Berthelot, G.;
Terrat, R.:
Petri Nets Theory for the Correctness of Protocols.
1982.
-
Brams, G.W.;
Andre, C.;
Berthelot, G.;
Girault, C.;
Memmi, G.;
Roucairol, G.;
Sifakis, J.;
Valette, R.;
Vidal-Naquet, G.:
Reseaux de Petri: Theorie et Pratique. Tome 1: Theorie et Analyse; Tome 2: Modelisation et Applications.
1982.
-
Berthelot, G.;
Hallemayer, F.;
Terrat, R.:
Modelisation du Protocole de Transport ECMA par Reseaux de Petri a Predicats.
1981.
-
Berthelot, G.;
Terrat, R.:
Specification et Validation de Protocoles de Transport par Reseaux de Petri.
1981.
-
Berthelot, G.;
Terrat, R.:
Validation du Protocole de Transport ECMA.
1981.
-
Berthelot, G.;
Roucairol, G.;
Valk, R.:
Reduction of Nets and Parallel Programs.
1980.
-
Berthelot, G.;
Terrat, R.:
Modelisation d'un Protocole de Transport par Reseaux de Petri.
1980.
-
Berthelot, G.:
Preuve de non Blocage de Programmes paralleles par Reduction de Reseaux de Petri.
1979.
-
Berthelot, G.:
Verification de Reseaux de Petri.
1978.
-
Berthelot, G.:
Checking Liveness of Petri-Nets.
1977.
-
Berthelot, G.:
Une Methode de Verification des Reseaux de Petri.
1977.
-
Berthelot, Gérard;
Roucairol, Gérard:
Reduction of Petri Nets.
1976.
-
Berthelot, G.;
Memmi, G.:
Analyse et Reduction de Reseaux de Petri.
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