When are timed automata weakly timed bisimilar to time Petri nets? (Q944375)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | When are timed automata weakly timed bisimilar to time Petri nets? |
scientific article |
Statements
When are timed automata weakly timed bisimilar to time Petri nets? (English)
0 references
16 September 2008
0 references
time Petri nets
0 references
timed automata
0 references
weak timed bisimilarity
0 references
0 references