Homepage FernUniversität in Hagen
Lehrgebiet für Softwaretechnik und Theorie der Programmierung

Cycl↻n - A Tool for Determining Stop-Transitions of Petri Nets

Download - Installation - Usage Instructions

Cycl↻n - A Tool for Determining Stop-Transitions of Petri Nets

Graphical user interface of the Cycl↻n tool

Download

For getting the tool Cycl↻n use the following link:

Installation

The provided ZIP-archive file contains a runnable JAR file and several examples as PNML files (including all examples presented in the paper).

Running Cycl↻n merely requires an operation system with Java 8 (or higher):

java -jar cyclon.jar

We have tested Cycl↻n under Windows 10 and Linux Ubuntu operating systems.

Usage Instructions

The basic usage instructions are available via "Help" menu or by pressing "F1" key.


Last change: 2020-01-29, 12:55