For the most recent entries see the
Petri Nets Newsletter.
Structural Translation from Time Petri Nets to Timed Automata.
Cassez, Franck;
Roux, Olivier (H.)
In:
Electronic Notes in Theoretical Computer Science: Fourth International Workshop on Automated Verification of Critical Systems (AVoCS'04).
London (UK): Elsevier,
September 2004.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography