For the most recent entries see the
Petri Nets Newsletter.
Model Checking of Bounded Petri Nets Using Interval Diagrams.
Tovchigrechko, Alexey A.
In:
K. Schmidt, Chr. Stahl (Eds.): Proceedings of the 12th Workshop "Algoritmen und Werkzeuge für Petrinetze" (AWPN 2005), pages 37-42.
Informatik-Bericht der Humboldt-Universität zu Berlin Nr. 192,
September 2005.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography