For the most recent entries see the
Petri Nets Newsletter.
Terrat, R.
-
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.
-
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.;
Terrat, R.:
Modelisation d'un Protocole de Transport par Reseaux de Petri.
1980.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography