The Azimuth Project
Experiments in Petri nets - Results from two different tools (history)

February 13, 2013

September 30, 2012