PNML Analyzer Reachability/Coverability Analysis of Petri Nets from PNML files Roger Ruiz-Carrillo.
Petri net modeling of biological networks Claudine Chaouiya.
Petri net modeling of biological networks
PNML Analyzer