Author of the publication

Visualizing Regions with a new Split-Screen View for the Online Tool travis.

, and . Modellierung (Workshops), volume 2060 of CEUR Workshop Proceedings, page 187-195. CEUR-WS.org, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compact Regions for Place/Transition Nets.. ATAED@Petri Nets/ACSD, volume 1371 of CEUR Workshop Proceedings, page 112-116. CEUR-WS.org, (2015)travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States., , and . Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 101-111. Springer, (2017)Visualizing Regions with a new Split-Screen View for the Online Tool travis., and . Modellierung (Workshops), volume 2060 of CEUR Workshop Proceedings, page 187-195. CEUR-WS.org, (2018)Workflow Nets with Roles., , and . EMISA, volume P-190 of LNI, page 65-78. GI, (2011)Synthesis of Petri Nets from Finite Partial Languages., , , and . Fundam. Inform., 88 (4): 437-468 (2008)Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language., , and . Trans. Petri Nets and Other Models of Concurrency, (2009)Mining with Eve - Process Discovery and Event Structures., and . ATAED@Petri Nets/ACSD, volume 1847 of CEUR Workshop Proceedings, page 71-75. CEUR-WS.org, (2017)Faster Unfolding of General Petri Nets Based on Token Flows., , and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 13-32. Springer, (2008)Verifikation von halbgeordneten Abläufen in Petrinetzen.. FernUniversität in Hagen, (2013)Unfolding Semantics of Petri Nets Based on Token Flows., , , and . Fundam. Inform., 94 (3-4): 331-360 (2009)