For the most recent entries see the
Petri Nets Newsletter.
Advances in Verification of Time Petri Nets and Timed Automata.
Penczek, Wojciech;
Polrola, Agata
In:
Advances in Verification of Time Petri Nets and Timed Automata.
2006.
URL: http://dx.doi.org/10.1007/978-3-540-32870-4.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography