"An Automated Tool for Analyzing Petri Nets Using SPIN."

Gerald C. Gannod, Sunil Gupta (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics