AlPiNA: An Algebraic Petri Net Analyzer.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

Browse the full TACAS paper archive.