For the most recent entries see the
Petri Nets Newsletter.
Berthomieu, B.
-
Berthomieu, Bernard;
Lime, Didier;
Roux, Olivier H.;
Vernadat, Francois:
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.
2007.
-
Berthomieu, Bernard;
Peres, Florent;
Vernadat, François:
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.
2006.
-
Berthomieu, Bernard;
Lime, Didier;
Roux, Olivier (H.);
Vernadat, Francois:
Problèmes d'accessibilité et Espaces d'états abstraits des réseaux de Petri Temporels à Chronomètres.
2005.
-
Berthomieu, Bernard;
Vernadat, François:
State Class Constructions for Branching Analysis of Time Petri Nets.
2003.
-
Berthomieu, B.;
Diaz, M.:
Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
1991.
-
Berthomieu, B.;
Choquet, N.;
Colin, C.;
Loyer, B.;
Martin, J.M.;
Mauboussin, A.:
Abstract Data Nets: Combining Petri Nets and Abstract Data Types for High Level Specifications of Distributed Systems.
1986.
-
Roux, J.L.;
Berthomieu, B.:
Verification af a Local Area Network Protocol with TINA, a Software Package for Petri Nets.
1986.
-
Berthomieu, B.;
Menasche, M.:
An Enumerative Approach for Analyzing Time Petri Nets.
1983.
-
Diaz, M.;
Courtiat, J.-P.;
Berthomieu, B.;
Ayache, J.M.:
Status of Using Petri-Net Based Models for Protocols.
1983.
-
Menasche, M.;
Berthomieu, B.:
Time Petri Nets for Analyzing and Verifying Time Dependent Protocols.
1983.
-
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.
-
Berthomieu, B.:
Analyse Structurelle des Reseaux de Petri: Methodes et Outils.
1979.
-
Azéma, P.;
Ayache, J.M.;
Berthomieu, B.:
Design and Verification of Communication Procedures: A Bottom-up Approach.
1978.
-
Chazaviel, B.;
Berthomieu, B.;
Bachmann, S.;
Diaz, M.:
Computer Aided Design and Proof of Parallel Systems: Application to Synchronization Software.
1978.
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