Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
SZS | Contact | People | Teaching | Research | Publications | Tools | Institute | Department | Links
Institute of Formal Methods in Computer Science

Mole - An Unfolder for Low-Level Petri Nets
 

  
The homepage of Mole has moved.
You will find the new homepage here.

 

Overview

This program implements the Esparza/Römer/Vogler unfolding algorithm for low-level Petri nets. It is designed to be compatible with the tools in the PEP project and with the Model-Checking Kit - its input is a low level Petri net in PEP's ll_net format, and its output is the resulting unfolding in the mci format also used in the PEP tools.

 
last change 02.07.2010 (mailto ss) |  © University of Stuttgart | legal notice