18
Publications
633
Citations
14
H-Index
1990
Active since
Jörg Desel is an author at Catholic University of Eichstätt-Ingolstadt specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringAutomated ReasoningComputer EngineeringSoftware DesignProgram AnalysisBusiness
Publications per year
1990–2014
18
18
The synthesis problem of Petri nets
Jörg Desel, Wolfgang Reisig · Acta Informatica · 1996 · 120 citations
On the semantics of EPCs: A vicious circle
Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler · 2002 · 109 citations
Synthesis of Petri Nets from Finite Partial Languages
Robin Bergenthum, Jörg Desel, Robert Lorenz et al. · OPUS (Augsburg University) · 2008 · 59 citations
Partial order behaviour and structure of Petri nets
Eike Best, Jörg Desel · Formal Aspects of Computing · 1990 · 53 citations · Full text
Synthesis of Petri Nets from Finite Partial Languages
Robert Lorenz, Robin Bergenthum, Jörg Desel et al. · 2007 · 40 citations · Full text
Rows per page
1–5 of 18