travis

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 elementary net systems and bounded place/transition nets with final states. A user can load event logs, specify transition systems with final states, synthesize elementary net systems and bounded place/transition nets with final states, and can calculate so-called neat places. A neat place is a place of a net, where one can locally see, if the net is in a final state or not.

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. Additionally, travis provides a synthesis view, where a user can visualize the relations between regions of a transition system and places of the corresponding synthesized net.

For questions, please contact: benjamin.meis

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.

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

• Event log - Advertisement Agency Process (.xes)
• Transition System with Final States - for 3-bounded Petri net synthesis (.apt)
• Petri net with Final States without Neat Place - synthesized 3-bounded Petri net (.pnml)
• Transition System with Final States - transformed event log (.apt)
• Petri Net with Final States and Neat Place - synthesized Petri net from transition system of event log (.pnml)

Tutorials:

• Tutorial 1 - Load a Petri net with final states from a PNML file and generate and add a neat place to this net (PDF 923 KB)
• Tutorial 2 - Load an event log and synthesize a safe Petri net (PDF 963 KB)
• Tutorial 3 - The Split-Screen View (PDF 870 KB)

Documentation:

Shortly, we will provide a documentation for travis.