For the most recent entries see the
Petri Nets Newsletter.
Keyword: timed bisimilarity
-
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:
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.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography