Synthesis of Petri Nets from Finite Partial Languages
Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.
Published in Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) (01.07.2007)
Published in Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) (01.07.2007)
Get full text
Conference Proceeding
Can I Execute My Scenario in Your Net?
Juhás, Gabriel, Lorenz, Robert, Desel, Jörg
Published in Applications and Theory of Petri Nets 2005 (2005)
Published in Applications and Theory of Petri Nets 2005 (2005)
Get full text
Book Chapter
Conference Proceeding
Synthesis of Petri nets from infinite partial languages
Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.
Published in 2008 8th International Conference on Application of Concurrency to System Design (01.01.2008)
Published in 2008 8th International Conference on Application of Concurrency to System Design (01.01.2008)
Get full text
Conference Proceeding
Reachability in cyclic extended free-choice systems
Get full text
Journal Article
Conference Proceeding
Traps characterize home states in free choice systems
Get full text
Journal Article
Conference Proceeding
A simplified proof for a self-stabilizing protocol: A game of cards
Desel, Jörg, Kindler, Ekkart, Vesper, Tobias, Walter, Rolf
Published in Information processing letters (23.06.1995)
Published in Information processing letters (23.06.1995)
Get full text
Journal Article