Crocodile

swMATH9769MaRDI QIDQ21748FDOQ21748

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: Crocodile