"PAPETRI: Environment for the Analysis of Petri Nets."

Gérard Berthelot, Colette Johnen, Laure Petrucci (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics