PAPETRI: Environment for the Analysis of Petri Nets.

Grard Berthelot, Colette Johnen, Laure Petrucci

Browse the full CAV paper archive.