Section: New Software and Platforms

Mole

Functional Description

Mole computes, given a safe Petri net, a finite prefix of its unfolding. It is designed to be compatible with other tools, such as PEP and the Model-Checking Kit, which are using the resulting unfolding for reachability checking and other analyses. The tool Mole arose out of earlier work on Petri nets.

• Participant: Stefan Schwoon

• Contact: Stefan Schwoon

• URL: http://www.lsv.ens-cachan.fr/~schwoon/tools/mole/