Edit Profile Desel, Jörg Compute Distance To: Compute Author ID: desel.jorg Published as: Desel, J.; Desel, Jörg Documents Indexed: 48 Publications since 1990, including 8 Books Reviewing Activity: 113 Reviews all top 5 Co-Authors 5 single-authored 10 Esparza, Javier 10 Lorenz, Robert G. 9 Juhás, Gabriel 5 Bergenthum, Robin 5 Best, Eike 5 Mauser, Sebastian 4 Reisig, Wolfgang 2 Cherkasova, Ludmila A. 2 Colom, José-Manuel 2 Kleijn, Jetty H. C. M. 2 Koutny, Maciej 2 Neumair, Christian 1 Haddad, Serge 1 Hoffmann, Philipp H. W. 1 Janicki, Ryszard 1 Kılınç, Görkem 1 Kindler, Ekkart 1 Kondratyev, Alex 1 Liu, Cong 1 Merceron, Agathe 1 Milijic, Vesna 1 Neuendorf, Klaus-Peter 1 Radola, M.-D. 1 Rozenberg, Grzegorz 1 Sangiovanni-Vincentelli, Alberto L. 1 van der Aalst, Wil M. P. 1 van Dongen, Boudewijn F. 1 Vesper, Tobias 1 Walter, Rolf 1 Watanabe, Yosinori all top 5 Serials 5 Fundamenta Informaticae 4 Theoretical Computer Science 4 Lecture Notes in Computer Science 3 Acta Informatica 2 Formal Aspects of Computing 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Cambridge Tracts in Theoretical Computer Science all top 5 Fields 48 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 30 Publications have been cited 170 times in 140 Documents Cited by ▼ Year ▼ Free choice Petri nets. Zbl 0836.68074Desel, Jörg; Esparza, Javier 68 1995 Place/transition Petri nets. Zbl 0926.68083Desel, Jörg; Reisig, Wolfgang 19 1998 The synthesis problem of Petri nets. Zbl 0849.68085Desel, Jörg; Reisig, Wolfgang 11 1996 Synthesis of Petri nets from finite partial languages. Zbl 1167.68037Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian 8 2008 Reachability in cyclic extended free-choice systems. Zbl 0778.68068Desel, Jörg; Esparza, Javier 6 1993 Partial order behaviour and structure of Petri nets. Zbl 0697.68061Best, Eike; Desel, Jörg 6 1990 Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003Desel, Jörg (ed.); Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.) 5 2004 Can I execute my scenario in your net? Zbl 1128.68380Juhás, Gabriel; Lorenz, Robert; Desel, Jörg 4 2005 “What is a Petri net?” Informal answers for the informed reader. Zbl 1018.68506Desel, Jörg; Juhás, Gabriel 4 2001 Traps characterize home states in free choice systems. Zbl 0761.68070Best, Eike; Desel, Jörg; Esparza, Javier 4 1992 Executability of scenarios in Petri nets. Zbl 1172.68044Lorenz, Robert; Juhás, Gabriel; Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian 3 2009 Schedulability analysis of Petri nets based on structural properties. Zbl 1167.68401Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Desel, Jörg; Sangiovanni-Vincentelli, Alberto 3 2008 Proving nonreachability by modulo-invariants. Zbl 0872.68131Desel, J.; Neuendorf, K.-P.; Radola, M.-D. 3 1996 Reachability in reversible free choice systems. Zbl 0773.68056Desel, Jörg; Esparza, Javier 3 1991 On negotiation as concurrency primitive. Zbl 1390.68468Esparza, Javier; Desel, Jörg 2 2013 Comparison of different algorithms to synthesize a Petri net from a partial language. Zbl 1266.68136Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian 2 2009 Finite unfoldings of unbounded Petri nets. Zbl 1094.68061Desel, Jörg; Juhás, Gabriel; Neumair, Christian 2 2004 Petri nets over partial algebra. Zbl 1017.68076Desel, Jörg; Juhás, Gabriel; Lorenz, Robert 2 2001 Process semantics of Petri nets over partial algebra. Zbl 0986.68089Desel, Jörg; Juhás, Gabriel; Lorenz, Robert 2 2000 Basic linear algebraic techniques for place/transition nets. Zbl 0926.68085Desel, Jörg 2 1998 A simplified proof for a self-stabilizing protocol: A Game of Cards. Zbl 1004.68506Desel, Jörg; Kindler, Ekkart; Vesper, Tobias; Walter, Rolf 2 1995 Negotiations and Petri nets. Zbl 1366.68203Desel, Jörg; Esparza, Javier 1 2016 Negotiation programs. Zbl 1417.68127Esparza, Javier; Desel, Jörg 1 2015 On negotiation as concurrency primitive. II: Deterministic cyclic negotiations. Zbl 1405.68211Esparza, Javier; Desel, Jörg 1 2014 Vicinity respecting homomorphisms for abstracting system requirements. Zbl 1312.68150Desel, Jörg; Merceron, Agathe 1 2010 Synthesis of Petri nets from term based representations of infinite partial languages. Zbl 1217.68147Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert 1 2009 Model validation in controller design. Zbl 1088.93502Desel, Jörg; Milijic, Vesna; Neumair, Christian 1 2004 Shortest paths in reachability graphs. Zbl 0831.68069Desel, Jörg; Esparza, Javier 1 1995 Structure and analysis of free-choice Petri nets. Zbl 0790.68090Desel, Jörg 1 1992 Compositional generation of home states in free choice systems. Zbl 0773.68055Best, Eike; Cherkasova, Ludmila; Desel, Jörg 1 1991 Negotiations and Petri nets. Zbl 1366.68203Desel, Jörg; Esparza, Javier 1 2016 Negotiation programs. Zbl 1417.68127Esparza, Javier; Desel, Jörg 1 2015 On negotiation as concurrency primitive. II: Deterministic cyclic negotiations. Zbl 1405.68211Esparza, Javier; Desel, Jörg 1 2014 On negotiation as concurrency primitive. Zbl 1390.68468Esparza, Javier; Desel, Jörg 2 2013 Vicinity respecting homomorphisms for abstracting system requirements. Zbl 1312.68150Desel, Jörg; Merceron, Agathe 1 2010 Executability of scenarios in Petri nets. Zbl 1172.68044Lorenz, Robert; Juhás, Gabriel; Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian 3 2009 Comparison of different algorithms to synthesize a Petri net from a partial language. Zbl 1266.68136Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian 2 2009 Synthesis of Petri nets from term based representations of infinite partial languages. Zbl 1217.68147Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert 1 2009 Synthesis of Petri nets from finite partial languages. Zbl 1167.68037Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian 8 2008 Schedulability analysis of Petri nets based on structural properties. Zbl 1167.68401Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Desel, Jörg; Sangiovanni-Vincentelli, Alberto 3 2008 Can I execute my scenario in your net? Zbl 1128.68380Juhás, Gabriel; Lorenz, Robert; Desel, Jörg 4 2005 Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003Desel, Jörg (ed.); Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.) 5 2004 Finite unfoldings of unbounded Petri nets. Zbl 1094.68061Desel, Jörg; Juhás, Gabriel; Neumair, Christian 2 2004 Model validation in controller design. Zbl 1088.93502Desel, Jörg; Milijic, Vesna; Neumair, Christian 1 2004 “What is a Petri net?” Informal answers for the informed reader. Zbl 1018.68506Desel, Jörg; Juhás, Gabriel 4 2001 Petri nets over partial algebra. Zbl 1017.68076Desel, Jörg; Juhás, Gabriel; Lorenz, Robert 2 2001 Process semantics of Petri nets over partial algebra. Zbl 0986.68089Desel, Jörg; Juhás, Gabriel; Lorenz, Robert 2 2000 Place/transition Petri nets. Zbl 0926.68083Desel, Jörg; Reisig, Wolfgang 19 1998 Basic linear algebraic techniques for place/transition nets. Zbl 0926.68085Desel, Jörg 2 1998 The synthesis problem of Petri nets. Zbl 0849.68085Desel, Jörg; Reisig, Wolfgang 11 1996 Proving nonreachability by modulo-invariants. Zbl 0872.68131Desel, J.; Neuendorf, K.-P.; Radola, M.-D. 3 1996 Free choice Petri nets. Zbl 0836.68074Desel, Jörg; Esparza, Javier 68 1995 A simplified proof for a self-stabilizing protocol: A Game of Cards. Zbl 1004.68506Desel, Jörg; Kindler, Ekkart; Vesper, Tobias; Walter, Rolf 2 1995 Shortest paths in reachability graphs. Zbl 0831.68069Desel, Jörg; Esparza, Javier 1 1995 Reachability in cyclic extended free-choice systems. Zbl 0778.68068Desel, Jörg; Esparza, Javier 6 1993 Traps characterize home states in free choice systems. Zbl 0761.68070Best, Eike; Desel, Jörg; Esparza, Javier 4 1992 Structure and analysis of free-choice Petri nets. Zbl 0790.68090Desel, Jörg 1 1992 Reachability in reversible free choice systems. Zbl 0773.68056Desel, Jörg; Esparza, Javier 3 1991 Compositional generation of home states in free choice systems. Zbl 0773.68055Best, Eike; Cherkasova, Ludmila; Desel, Jörg 1 1991 Partial order behaviour and structure of Petri nets. Zbl 0697.68061Best, Eike; Desel, Jörg 6 1990 all cited Publications top 5 cited Publications all top 5 Cited by 233 Authors 12 Koutny, Maciej 11 Desel, Jörg 11 Kleijn, Jetty H. C. M. 9 van der Aalst, Wil M. P. 8 Esparza, Javier 7 Best, Eike 6 Pietkiewicz-Koutny, Marta 5 Jiao, Li 5 Lorenz, Robert G. 5 ter Hofstede, Arthur H. M. 4 Cheung, To-Yat 4 Haar, Stefan 4 Juhás, Gabriel 4 Ramírez-Treviño, Antonio 4 Verbeek, H. M. W. 3 Darondeau, Philippe 3 Gaujal, Bruno 3 Lodaya, Kamal 3 Mairesse, Jean 3 Mauser, Sebastian 3 Phawade, Ramchandra 3 Pinna, G. Michele 3 Rosa-Velardo, Fernando 3 Teruel, Enrique 3 Wolf, Karsten 3 Wynn, Moe Thandar 2 Abbes, Samy 2 Basten, Twan 2 Benveniste, Albert 2 Bergenthum, Robin 2 Bouillard, Anne 2 Bride, Hadrien 2 Busi, Nadia 2 Chatain, Thomas 2 de Frutos-Escrig, David 2 Devillers, Raymond 2 Fahland, Dirk 2 Finkel, Olivier 2 Huang, Hejiao 2 Janicki, Ryszard 2 Kindler, Ekkart 2 Kouchnarenko, Olga 2 La Rosa, Marcello 2 Latapy, Matthieu 2 Liu, GuanJun 2 López-Mellado, Ernesto 2 Morvan, Michel 2 Peureux, Fabien 2 Phan, Thi Ha Duong 2 Polyvyanyy, Artem 2 Praveen, M. 2 Rivera-Rangel, Israel 2 Rozenberg, Grzegorz 2 Ruiz-León, Javier 2 Sidorova, Natalia 2 Silva, Manuel M. 2 Thiagarajan, Pazhamaneri Subramaniam 2 van Hee, Kees Max 2 Varacca, Daniele 2 Völzer, Hagen 2 Wimmel, Harro 2 Yang, Shaofa 2 Yoshida, Nobuko 1 Aguayo-Lara, Enrique 1 Aguirre-Salas, Luis I. 1 Akshay, S. 1 Al-Ahmari, Abdulrahman M. 1 Alla, Hassane 1 Alqarni, Mohammad 1 Badouel, Eric 1 Balaguer, Sandie 1 Baldan, Paolo 1 Bao, Yunxia 1 Barkaoui, Kamel 1 Barylska, Kamila 1 Bastide, Rémi 1 Beňo, Miroslav 1 Bernardinello, Luca 1 Billington, Jonathan 1 Borovlev, V. A. 1 Briz, José Luis 1 Cabasino, Maria Paola 1 Carmona, Josep 1 Carvalho, Rafael V. 1 Chen, Lijing 1 Cheng, Allan 1 Cherkasova, Ludmila A. 1 Cho, Hyoun Kyu 1 Chung, Lawrence M. L. 1 Ciobanu, Gabriel 1 Clarke, Dave 1 Cocco, Nicoletta 1 Czaja, Ludwik 1 Dassow, Jürgen 1 de Leoni, Massimiliano 1 De Oliveira Oliveira, Mateus 1 de Simone, Robert 1 Delaval, Gwenaël 1 Desirena-López, G. 1 Ding, Zuohua ...and 133 more Authors all top 5 Cited in 34 Serials 30 Theoretical Computer Science 10 Acta Informatica 8 Discrete Event Dynamic Systems 6 Formal Aspects of Computing 5 Information Processing Letters 4 Information Sciences 4 Information and Computation 3 Journal of Computer and System Sciences 3 Nonlinear Analysis. Hybrid Systems 2 Computing 2 Science of Computer Programming 2 Formal Methods in System Design 2 The Journal of Logic and Algebraic Programming 2 Natural Computing 1 International Journal of Systems Science 1 Kybernetika 1 Mathematics and Computers in Simulation 1 Programming and Computer Software 1 Algorithmica 1 Mathematical and Computer Modelling 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Concurrency: Practice and Experience 1 European Journal of Operational Research 1 ELA. The Electronic Journal of Linear Algebra 1 Mathematical Problems in Engineering 1 Parallel Algorithms and Applications 1 European Journal of Control 1 Data Mining and Knowledge Discovery 1 RAIRO. Theoretical Informatics and Applications 1 RAIRO. Operations Research 1 Computational & Mathematical Methods in Medicine 1 Journal of Applied Mathematics, Statistics and Informatics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 13 Fields 129 Computer science (68-XX) 13 Systems theory; control (93-XX) 12 Operations research, mathematical programming (90-XX) 4 Combinatorics (05-XX) 3 Probability theory and stochastic processes (60-XX) 3 Biology and other natural sciences (92-XX) 2 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Citations by Year