Logo der Fakultät STTP-Logo



Welcome to the travis tool.


Travis is an online-based tool and is developed with Java and the Google Web Toolkit. Using Travis you can synthesize and analyze k-bounded Petrinets. A user can load event logs, specify transition systems with final states, synthesize k-bounded Petri nets with final states, and calculate so-called neat places.

Travis provides two editors: a transition system editor and a Petri net editor. In the Petri net editor a user also can play the tokengame with a Petri net.

For questions, please contact: benjamin.meis@fernuni-hagen.de


Travis is an online-based tool which can be executed in the browser. There is no download or installation needed.

Just click on START TRAVIS to start travis. A new browser tab will be opened and you can use travis. Feel free to use and test travis and to use the example files.

Example Files

Please feel free to use these example files to test travis (right click and save as ...).




Shortly, we will provide a documentation for travis.

Benjamin Meis | 18.04.2017
FernUni-Logo FernUniversität in Hagen, Lehrgebiet Softwaretechnik und Theorie der Programmierung