CPNUnf is an unfolder for Contextual Petri Nets (also called c-nets) that implements the theoretical concepts presented in (1) and is written in Scala. Its simple design and straightforward implementation allows to study the algorithm and easily implement extensions to the core library. Yet this tool keeps an eye on performance, and allows to run 93% of the test suite.
In order to compile and execute the unfolder you need to have Java SDK 1.6 and Scala 2.9 installed. Make sure they are available on your system and configured as defaults. Ant is also required to build the software.
You can find the latest version here: cpnunf-latest.zip. After downloading and decompressing the archive, the source code is inside the
To compile the software simply run
ant on the project folder.
- Cpunf-ModelCheck, by Alberto Franco, is a model checker for interference properties of atomic, a thread-based programming language with atomic sections.
If you encounter a problem using this project, please don't hesitate to report a bug in the Issues section. I'm also open to receive any feedback that you might have, and suggestions for improvement, so you are very welcome to file those as well.
- Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, and Stefan Schwoon. Efficient Unfolding of Contextual Petri Nets. Theoretical Computer Science 449, 2 – 22 (2012)