For the most recent entries see the
Petri Nets Newsletter.
Diaz., M.
-
Boyer, M.;
Diaz., M.:
Multiple Enabledness of Transitions in Petri Nets with Time.
2001.
-
Diaz, M.:
Les réseaux de Petri, Modèles fondamentaux.
2001.
-
Diaz, M.:
Les réseaux de Petri, Modèles fondamentaux.
2001.
-
Boyer, M.;
Diaz, M.:
Non equivalence between time Petri nets and time stream Petri nets.
1999.
-
Owezarski, P.;
Diaz, M.:
New architecture for enforcing multimedia synchronization in video-conferencing applications.
1999.
-
Billington, J.;
Diaz, M.;
Rozenberg, G.:
Application of Petri Nets to Communication Networks: Advances in Petri Nets.
1999.
-
Billington, J.;
Diaz, M.:
Petri Nets applied to Protocols.
1995.
-
Diaz, Michel;
Súnac, Patrick:
Time Stream Petri Nets - A Model for Timed Multimedia Information.
1994.
-
Senac, P.;
Diaz, M.;
Saqui-Sannes, P.:
Toward a formal specification of multimedia synchronization scenarios.
1994.
-
Berthomieu, B.;
Diaz, M.:
Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
1991.
-
Diaz, Michel;
Courtiat, Jean-Pierre:
Models and Environments for Designing Open Distributed Systems Using Formal Approaches.
1990.
-
Diaz, M.:
Applying Petri Net Based Models in the Design of Systems.
1987.
-
Diaz, M.:
Petri Net Based Models in the Specification and Verification of Protocols.
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.
-
Diaz, M.;
Azéma, P.:
Petri Net Based Models for the Specification and Validation of Protocols.
1985.
-
Diaz, Michel:
Petri Net Based Models for the Specification and Validation of Protocols.
1984.
-
Diaz, M.;
Courtiat, J.-P.;
Berthomieu, B.;
Ayache, J.M.:
Status of Using Petri-Net Based Models for Protocols.
1983.
-
Diaz, M.;
Guidacci Da Silverira, G.:
On the Specification and Validation of Protocols by Temporal Logic and Nets.
1983.
-
Ayache, J.M.;
Azéma, P.;
Diaz, M.:
Towards Fault Tolerant Real Time Systems by Using Petri Nets.
1982.
-
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.
-
Diaz, M.:
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.
1982.
-
Ayache, J.M.;
Diaz, M.;
Konber, H.:
Specification and Verification of Signalling Protocols.
1981.
-
Andre, C.;
Diaz, M.;
Girault, C.;
Sifakis, J.:
Survey of French Research and Applications based on Petri Nets.
1980.
-
Valette, R.;
Diaz, M.:
A Methodology for Easily Provable Implementation of Synchronization Mechanisms.
1979.
-
Devy, M.;
Diaz, M.:
Multilevel Specification and Verification of the Control in Communication Systems.
1979.
-
Ayache, J.M.;
Azéma, P.;
Diaz, M.:
Observer: A Concept for On-line Detection of Control Errors in Concurrent Systems.
1979.
-
Ayache, J.M.;
Diaz, M.;
Valette, R.:
A Methodology for Specifying Control in Electronic Switching Systems.
1979.
-
Valette, R.;
Diaz, M.:
Top-down Formal Specification and Verification of Parallel Control Systems.
1978.
-
Chazaviel, B.;
Berthomieu, B.;
Bachmann, S.;
Diaz, M.:
Computer Aided Design and Proof of Parallel Systems: Application to Synchronization Software.
1978.
-
Azéma, P.;
Diaz, M.:
Checking Experiments for Concurrent Systems.
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