Crocodile

MaRDI QIDQ21748swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-21834-7_20

Cited in

(4)

• AlPiNA
• Helena
• Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag
• Investigating reversibility of steps in Petri nets

This page was built for software: Crocodile