 |
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.
This tool represents an overhaul of
Stefan Römer's ERVunfold tool
(which, in turn, is an enhancement of the EVunfold tool available in PEP).
It is much smaller and does not have the vast set of options that ERVunfold
has; in exchange, this tool is usually somewhat faster than ERVunfold.
More information can be found in the Readme file.
Downloads
Contact
Please direct questions to
Stefan Schwoon.
Changes
- 16.03.2004: Version 1.0.0: Initial release of the tool
- 17.03.2004: Version 1.0.1: Changed .mci output
and -T switch
- 21.09.2004: Version 1.0.2: Fixed and improved -T switch
- 02.02.2005: Version 1.0.3: Fixed a bug in the -T switch
- 06.06.2005: Version 1.0.4: Added -d switch
- 22.03.2006: Version 1.0.5: Fixed a bug in -T, added -i switch and the mci2dot utility.
- 23.03.2006: Version 1.0.6: Fixed a bug in marking.c.
Links
|
|
ss) |
© University of Stuttgart |
legal notice