Mole

MaRDI QIDQ21226swMATHFDO

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

Cited in

(9)

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

This page was built for software: Mole