https://github.com/hoheinzollern/cpnunf-cpp

Unfolder for contextual Petri nets
https://github.com/hoheinzollern/cpnunf-cpp

Last synced: 18 days ago
JSON representation

Unfolder for contextual Petri nets

• Host: GitHub
• URL: https://github.com/hoheinzollern/cpnunf-cpp
• Owner: hoheinzollern
• License: gpl-2.0
• Created: 2010-05-02T17:11:59.000Z (over 14 years ago)
• Default Branch: master
• Last Pushed: 2010-06-29T07:34:18.000Z (over 14 years ago)
• Last Synced: 2024-07-31T22:58:15.204Z (3 months ago)
• Language: C
• Homepage:
• Size: 570 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme
  • Changelog: History.cpp
  • License: Copying

Awesome Lists containing this project

README

        

	Contextual Petri Nets Unfolder

An unfolder for Contextual Petri Nets based on the original work of Stefan

Schwoon for Mora, a spin-off of the Mole unfolder for Contextual Petri Nets.

1. DEPENDENCIES

In order to build and use this software you need to have CMake and GLib

installed. Future plans of development will dismiss GLib in favor of the

C++ standard library structures. In order to meet these requirements in a

debian based system you must execute from the terminal:

	sudo apt-get install libglib2.0-dev cmake

2. DOWNLOAD, BUILD AND RUN

This software is located at:

http://github.com/hoheinzollern/Contextual-Petri-Net-Unfolder

To download the latest version of the source you can either use git:

	git clone git://github.com/hoheinzollern/Contextual-Petri-Net-Unfolder.git unfolder

.. or svn:

	svn co https://svn.github.com/hoheinzollern/Contextual-Petri-Net-Unfolder.git unfolder

After you checked out the sources you can build them:

	cd unfolder

	mkdir build

	cd build

	cmake ..

	make

Now run like this:

	./unfolder your_example.ll_net

The input format are PEP low-level nets extended with an additional section for

read arcs. Some simple examples are in the Examples/ directory, hopefully they

are enough to clarify the input syntax.

The unfolder produces dot-compatible output, so you can get a PDF file of the

result by saying

	./unfolder your_example.ll_net | dot -Tpdf > your_example.pdf

	xdg-open your_example.pdf

Right now the tool has the following restrictions:

* It works with safe nets only.

* It has not at all been thoroughly tested. In fact, it may very well

  crash on any example other than the ones in the Example/ directory.

  Let me know of any bugs you encounter, including the examples that

  cause them.

Please report any bugs you may encounter at:

	http://github.com/hoheinzollern/Contextual-Petri-Net-Unfolder/issues

Alessandro