For the most recent entries see the
Petri Nets Newsletter.
Bérard, B.
-
Bérard, B.;
Cassez, F.;
Haddad, S.;
Lime, Didier;
Roux, O.H.:
Comparison of Different Semantics for Time Petri Nets.
2005.
-
Berard, Beatrice;
Cassez, Franck;
Haddad, Serge;
Lime, Didier;
Roux, Olivier:
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?.
2005.
-
Berard, Beatrice;
Cassez, Franck;
Haddad, Serge;
Lime, Didier;
Roux, Olivier:
Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
2005.
-
Berard, B.;
Cassez, F.;
Haddad, S.;
Lime, Didier;
Roux, O.H.:
Comparison of Different Semantics for Time Petri Nets.
2005.
-
Berard, Beatrice;
Fribourg, Laurent:
Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic.
1999.
-
Beauquier, J.;
Berard, B.:
On the Equivalence of Synchronization Sets.
1985.
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