Mole

swMATH9239MaRDI QIDQ21226FDOQ21226

Author name not available (Why is that?)

Official website: http://www.lsv.ens-cachan.fr/~schwoon/tools/mole/

Cited In (9)

• Goal-driven unfolding of Petri nets
• Efficient unfolding of contextual Petri nets
• Computing the reveals relation in occurrence nets
• Punf
• Cunf
• PEP
• Pint
• MOLE: A mobile agent system
• Efficient Contextual Unfolding

This page was built for software: Mole