PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Bergenthum, Robin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Executability of scenarios in Petri nets.

, , , , und . Theor. Comput. Sci., 410 (12-13): 1190-1216 (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Robin Göbel University of Stuttgart

Univ. -Prof. Dr. Robin Ghosh University of Stuttgart

Prof. Dr. Robin Hahn University of Stuttgart

Robin Wickersheim University of Stuttgart

Robin Gerl University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

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