For the most recent entries see the
Petri Nets Newsletter.
Pradin-Chezalviel, B.
-
Rivière, N.;
Pradin-Chezalviel, B.;
Valette, R.:
Reachability and temporal conflicts in t-time PETRI nets.
2001.
-
Pradin-Chezalviel, B.;
Valette, R.;
Kunzle, L.A.:
Scenario durations characterization of T-timed Petri nets using linear logic.
1999.
-
Cardoso, J.;
Valette, R.;
Pradin-Chezalviel, B.:
Linear Logic for Imprecise Firings in Fuzzy Petri Nets.
1995.
-
Cardoso, J.;
Valette, R.;
Pradin-Chezalviel, B.:
Fuzzy Petri Nets and Linear Logic.
1993.
-
Papapanagiotakis, G.;
Azéma, P.;
Pradin-Chezalviel, B.:
On a PROLOG Environment for Protocol Analysis.
1986.
-
Papapanagiotakis, G.;
Azéma, P.;
Pradin-Chezalviel, B.:
Propositional Branching Time Temporal Logic in PROLOG.
1986.
-
Pradin-Chezalviel, B.:
Un Outil Graphique Interactif pour la Verification des Systemes a Evolution Parallele Decrits par Reseaux de Petri.
1979.
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