Jörg Desel - Concepedia

Author

Jörg Desel

Catholic University of Eichstätt-Ingolstadt

Also Known As

Aalst, van der, W.M.P., Desel, J., Desel, Jörg, Desel, JÃ¶rg, Desel, Jörg, Desel, Jörg 1959-, GRIBAUDO, MARCO, Henrik Leopold, J. Desel, Jorg Desel

194

Publications

3.6K

Citations

H-Index

Concepts

All Affiliations

Catholic University of Eichstätt-Ingolstadt Technical University of Munich Humboldt-Universität zu Berlin University of Hildesheim University of Hagen

About

Jörg Desel is an author at Catholic University of Eichstätt-Ingolstadt specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	384
2	Computer Engineering	5	5	150
3	Business	3	3	71
4	Education	1	1	11
5	Behavioral Sciences	1	1	21

Jörg Desel

Publications

633

Citations

H-Index

Page 1

	Year	Citations
The synthesis problem of Petri nets Jörg Desel, Wolfgang Reisig Acta Informatica Petri NetEngineeringIndustrial EngineeringStochastic Petri NetFormal Methods	1996	120
On the semantics of EPCs: A vicious circle Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler	2002	109
Synthesis of Petri Nets from Finite Partial Languages Robin Bergenthum, Jörg Desel, Robert Lorenz, OPUS (Augsburg University) Petri NetEngineeringPushdown AutomatonComputational ComplexityFormal Verification	2008	59
Partial order behaviour and structure of Petri nets Eike Best, Jörg Desel Formal Aspects of Computing	1990	53
Synthesis of Petri Nets from Finite Partial Languages Robert Lorenz, Robin Bergenthum, Jörg Desel, Petri NetFinite Partial LanguagesEngineeringPartial LanguagePartial Languages	2007	40
Reachability in cyclic extended free-choice systems Jörg Desel, Javier Esparza Theoretical Computer Science Reachability AnalysisEngineeringReachability ProblemGame TheoryBusiness	1993	38
The concepts of Petri nets Jörg Desel, Wolfgang Reisig Software & Systems Modeling Petri NetEngineeringStochastic Petri NetFormal MethodsProcess Control	2014	27
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages Robin Bergenthum, Jörg Desel, Sebastian Mauser, Fundamenta Informaticae	2009	25
Validation of information system models: Petri nets and test case generation Jörg Desel, Andreas Oberweis, Torsten Zimmer, Petri NetInformation System ModelsEngineeringVerificationSoftware Engineering	2002	23
Proving nonreachability by modulo-invariants Jörg Desel, Klaus-Peter Neuendorf, Micaela-Daphne Radola Theoretical Computer Science Geometry Of NumberVerificationComputational Number TheoryModulus Problem	1996	21

Page 1