For the most recent entries see the
Petri Nets Newsletter.
Sifakis, J.
-
Sifakis, Joseph:
On the composition of Timed Systems.
1997.
-
Garavel, H.;
Sifakis, J.:
Compilation and Verification of LOTOS Specifications.
1990.
-
Queille, J.P.;
Sifakis, J.:
Iterative Methods for the Analysis of Petri Nets.
1982.
-
Sifakis, J.:
A Note on Deadlocks in CA-Systems.
1982.
-
Sifakis, J.:
A Unified Approach for Studying the Properties of Transition Systems.
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.
-
Andre, C.;
Diaz, M.;
Girault, C.;
Sifakis, J.:
Survey of French Research and Applications based on Petri Nets.
1980.
-
Sifakis, J.:
Performance Evaluation of Systems Using Nets.
1980.
-
Sifakis, J.:
Le Controle des Systemes Asynchrones: Concepts, Proprietes, Analyse Statique.
1979.
-
Moalla, M.;
Sifakis, J.;
Silva Suarez, M.:
A la Recherche d'une Methodologie de Conception sur des Automatismes Logiques Basee sur l'Utilisation des Reseaux de Petri.
1978.
-
Sifakis, J.:
Realization of Fault-Tolerant Sytems by Coding Petri Nets.
1978.
-
Sifakis, J.:
Structural Properties of Petri Nets.
1978.
-
Moalla, M.;
Pulou, J.;
Sifakis, J.:
Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.
1978.
-
Moalla, M.;
Pulou, J.;
Sifakis, J.:
Reseaux de Petri Synchronises.
1977.
-
Sifakis, J.:
Comportement Permanent des Reseaux de Petri Temporises.
1977.
-
Sifakis, J.:
Etude du Comportement Permanent des Reseaux de Petri Temporises.
1977.
-
Sifakis, J.:
Use of Petri Nets for Performance Evaluation.
1977.
-
Sifakis, J.:
Homomorphisms of Petri Nets: Application to the Realization of Fault-Tolerant Systems.
1977.
-
Moalla, M.;
Saucier, G.;
Sifakis, J.;
Zachariades, M.:
A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules.
1976.
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