For the most recent entries see the
Petri Nets Newsletter.
Courtiat, J.-P.
-
Sadani, Tarek;
Boyer, Marc;
de Saqui-Sannes, Pierre;
Courtiat, Jean-Pierre:
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.
2006.
-
Sadani, Tarek;
Boyer, Marc;
de Saqui-Sannes, Pierre;
Courtiat, Jean-Pierre:
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.
2006.
-
Sadani, Tarek;
Boyer, Marc;
de Saqui-Sannes, Pierre;
Courtiat, Jean-Pierre:
Mapping RT-LOTOS Specifications into Time Petri Nets.
2006.
-
Diaz, Michel;
Courtiat, Jean-Pierre:
Models and Environments for Designing Open Distributed Systems Using Formal Approaches.
1990.
-
Courtiat, J.-P.:
How Could Estelle Become a Better FDT?.
1987.
-
Ayache, J.M.;
Courtiat, J.-P.;
Diaz, M.;
Juanole, G.:
Utilisation des Reseaux de Petri pour la Modelisation et la Validation des Protocoles.
1985.
-
Ayache, J.M.;
Courtiat, J.-P.:
Petri Net Oriented Tools for a Protocol Design Methodology.
1984.
-
Courtiat, J.-P.;
Ayache, J.M.;
Algayres, B.:
Petri Nets are Good for Protocols.
1984.
-
Ayache, J.M.;
Courtiat, J.-P.:
A Specification and Implementation Language for Protocols.
1983.
-
Diaz, M.;
Courtiat, J.-P.;
Berthomieu, B.;
Ayache, J.M.:
Status of Using Petri-Net Based Models for Protocols.
1983.
-
Ayache, J.M.;
Courtiat, J.-P.;
Diaz, M.:
A Specification Language for the Design of Multy-Layer Protocols.
1982.
-
Ayache, J.M.;
Courtiat, J.-P.;
Diaz, M.:
Design and Validation by Petri Nets of a Reliable Bus Allocation Protocol.
1982.
-
Ayache, J.M.;
Courtiat, J.-P.;
Diaz, M.:
Self-Checking Software in Distributed Systems.
1982.
-
Ayache, J.M.;
Courtiat, J.-P.;
Diaz, M.:
Conception et Validation de Protocoles. Application au Reseau Rebus.
1982.
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