For the most recent entries see the Petri Nets Newsletter.

Development of Reachability Analysis Tools at Helsinki University of Technology.

Ojala, Leo; Lilius, Johan

In: Petri Net Newsletter No. 47, pages 36-42. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, 1994.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography