For the most recent entries see the
Petri Nets Newsletter.
Keyword: timed automata
-
Berthomieu, Bernard;
Peres, Florent;
Vernadat, François:
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.
2006.
-
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.
-
Yamamoto, Mitsuharu;
Cottin, Jean-Marie;
Hagiya, Masami:
Decidability of Safety Properties of Timed Multiset Rewriting.
2002.
-
Yamamoto, Mitsuharu;
Cottin, Jean-Marie;
Hagiya, Masami:
Decidability of Safety Properties of Timed Multiset Rewriting.
2002.
-
Balduzzi, Fabio;
Di Febbraro, Angela;
Giua, Alessandro;
Seatzu, Carla:
Decidability results in first-order hybrid Petri nets.
2001.
-
Boyer, M.;
Diaz, M.:
Non equivalence between time Petri nets and time stream Petri nets.
1999.
-
Huuck, R.;
Lakhnech, Y.;
Urbina, L.;
Engell, S.;
Kowalewski, S.;
Preussig, J.:
Comparing timed C/E systems with timed automata.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography