<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-01-31 10:48:50Petri net Formal language Computer science Mathematics Applied mathematics Models of computation Concurrency Diagrams |
|
| First Page | Document Content | |
|---|---|---|
Date: 2011-01-31 10:48:50Petri net Formal language Computer science Mathematics Applied mathematics Models of computation Concurrency Diagrams |
|
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France