Cycl$$\mathbf {\circlearrowright }$$n – A Tool for Determining Stop-Transitions of Petri Nets

Abstract

This paper introduces the tool Cycle. The core functionality of Cycln is to determine for a transition t of an unbounded Petri net whether or not t stops the net. A transition t stops the net (and is called a stop-transition) if each reachable marking of the net enables only finite occurrence sequences without occurrences of t. Cycln provides a graphical user interface which also illustrates the graph structures leading to the computed result. This way, results are explained in a comprehensible manner, and the user gets a visual explanation of the cyclic behavior of the net causing these results.