When are timed automata weakly timed bisimilar to time petri nets?

Beatrice Bérard*, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'When are timed automata weakly timed bisimilar to time petri nets?'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science