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