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