×

zbMATH — the first resource for mathematics

Desel, Jörg

Compute Distance To:
Author ID: desel.jorg Recent zbMATH articles by "Desel, Jörg"
Published as: Desel, Jörg; Desel, J.
Documents Indexed: 49 Publications since 1990, including 8 Books
Reviewing Activity: 113 Reviews

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 178 times in 142 Documents Cited by Year
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
67
1995
Place/transition Petri nets. Zbl 0926.68083
Desel, Jörg; Reisig, Wolfgang
20
1998
The synthesis problem of Petri nets. Zbl 0849.68085
Desel, Jörg; Reisig, Wolfgang
12
1996
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
9
2008
Reachability in cyclic extended free-choice systems. Zbl 0778.68068
Desel, Jörg; Esparza, Javier
7
1993
Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003
Desel, Jörg (ed.); Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.)
6
2004
Partial order behaviour and structure of Petri nets. Zbl 0697.68061
Best, Eike; Desel, Jörg
6
1990
Can I execute my scenario in your net? Zbl 1128.68380
Juhás, Gabriel; Lorenz, Robert; Desel, Jörg
4
2005
“What is a Petri net?” Informal answers for the informed reader. Zbl 1018.68506
Desel, Jörg; Juhás, Gabriel
4
2001
Traps characterize home states in free choice systems. Zbl 0761.68070
Best, Eike; Desel, Jörg; Esparza, Javier
4
1992
Basic linear algebraic techniques for place/transition nets. Zbl 0926.68085
Desel, Jörg
3
1998
Proving nonreachability by modulo-invariants. Zbl 0872.68131
Desel, J.; Neuendorf, K.-P.; Radola, M.-D.
3
1996
Schedulability analysis of Petri nets based on structural properties. Zbl 1167.68401
Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Desel, Jörg; Sangiovanni-Vincentelli, Alberto
3
2008
Reachability in reversible free choice systems. Zbl 0773.68056
Desel, Jörg; Esparza, Javier
3
1991
Executability of scenarios in Petri nets. Zbl 1172.68044
Lorenz, Robert; Juhás, Gabriel; Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian
3
2009
Process semantics of Petri nets over partial algebra. Zbl 0986.68089
Desel, Jörg; Juhás, Gabriel; Lorenz, Robert
2
2000
A simplified proof for a self-stabilizing protocol: A Game of Cards. Zbl 1004.68506
Desel, Jörg; Kindler, Ekkart; Vesper, Tobias; Walter, Rolf
2
1995
Finite unfoldings of unbounded Petri nets. Zbl 1094.68061
Desel, Jörg; Juhás, Gabriel; Neumair, Christian
2
2004
Petri nets over partial algebra. Zbl 1017.68076
Desel, Jörg; Juhás, Gabriel; Lorenz, Robert
2
2001
Comparison of different algorithms to synthesize a Petri net from a partial language. Zbl 1266.68136
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian
2
2009
Synthesis of Petri nets from term based representations of infinite partial languages. Zbl 1217.68147
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert
2
2009
On negotiation as concurrency primitive. Zbl 1390.68468
Esparza, Javier; Desel, Jörg
2
2013
Shortest paths in reachability graphs. Zbl 0831.68069
Desel, Jörg; Esparza, Javier
1
1995
Model validation in controller design. Zbl 1088.93502
Desel, Jörg; Milijic, Vesna; Neumair, Christian
1
2004
Structure and analysis of free-choice Petri nets. (Struktur und Analyse von Free-Choice-Petrinetzen.) Zbl 0790.68090
Desel, Jörg
1
1992
Models from scenarios. Zbl 1382.68152
Lorenz, Robert; Desel, Jörg; Juhás, Gabriel
1
2013
Compositional generation of home states in free choice systems. Zbl 0773.68055
Best, Eike; Cherkasova, Ludmila; Desel, Jörg
1
1991
Aggregating causal runs into workflow nets. Zbl 1377.68154
van Dongen, Boudewijn F.; Desel, Jörg; van der Aalst, Wil M. P.
1
2012
Vicinity respecting homomorphisms for abstracting system requirements. Zbl 1312.68150
Desel, Jörg; Merceron, Agathe
1
2010
Negotiation programs. Zbl 1417.68127
Esparza, Javier; Desel, Jörg
1
2015
On negotiation as concurrency primitive. II: Deterministic cyclic negotiations. Zbl 1405.68211
Esparza, Javier; Desel, Jörg
1
2014
Negotiations and Petri nets. Zbl 1366.68203
Desel, Jörg; Esparza, Javier
1
2016
Negotiations and Petri nets. Zbl 1366.68203
Desel, Jörg; Esparza, Javier
1
2016
Negotiation programs. Zbl 1417.68127
Esparza, Javier; Desel, Jörg
1
2015
On negotiation as concurrency primitive. II: Deterministic cyclic negotiations. Zbl 1405.68211
Esparza, Javier; Desel, Jörg
1
2014
On negotiation as concurrency primitive. Zbl 1390.68468
Esparza, Javier; Desel, Jörg
2
2013
Models from scenarios. Zbl 1382.68152
Lorenz, Robert; Desel, Jörg; Juhás, Gabriel
1
2013
Aggregating causal runs into workflow nets. Zbl 1377.68154
van Dongen, Boudewijn F.; Desel, Jörg; van der Aalst, Wil M. P.
1
2012
Vicinity respecting homomorphisms for abstracting system requirements. Zbl 1312.68150
Desel, Jörg; Merceron, Agathe
1
2010
Executability of scenarios in Petri nets. Zbl 1172.68044
Lorenz, 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.68136
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian
2
2009
Synthesis of Petri nets from term based representations of infinite partial languages. Zbl 1217.68147
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert
2
2009
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
9
2008
Schedulability analysis of Petri nets based on structural properties. Zbl 1167.68401
Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Desel, Jörg; Sangiovanni-Vincentelli, Alberto
3
2008
Can I execute my scenario in your net? Zbl 1128.68380
Juhás, Gabriel; Lorenz, Robert; Desel, Jörg
4
2005
Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003
Desel, Jörg; Reisig, Wolfgang; Rozenberg, Grzegorz
6
2004
Finite unfoldings of unbounded Petri nets. Zbl 1094.68061
Desel, Jörg; Juhás, Gabriel; Neumair, Christian
2
2004
Model validation in controller design. Zbl 1088.93502
Desel, Jörg; Milijic, Vesna; Neumair, Christian
1
2004
“What is a Petri net?” Informal answers for the informed reader. Zbl 1018.68506
Desel, Jörg; Juhás, Gabriel
4
2001
Petri nets over partial algebra. Zbl 1017.68076
Desel, Jörg; Juhás, Gabriel; Lorenz, Robert
2
2001
Process semantics of Petri nets over partial algebra. Zbl 0986.68089
Desel, Jörg; Juhás, Gabriel; Lorenz, Robert
2
2000
Place/transition Petri nets. Zbl 0926.68083
Desel, Jörg; Reisig, Wolfgang
20
1998
Basic linear algebraic techniques for place/transition nets. Zbl 0926.68085
Desel, Jörg
3
1998
The synthesis problem of Petri nets. Zbl 0849.68085
Desel, Jörg; Reisig, Wolfgang
12
1996
Proving nonreachability by modulo-invariants. Zbl 0872.68131
Desel, J.; Neuendorf, K.-P.; Radola, M.-D.
3
1996
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
67
1995
A simplified proof for a self-stabilizing protocol: A Game of Cards. Zbl 1004.68506
Desel, Jörg; Kindler, Ekkart; Vesper, Tobias; Walter, Rolf
2
1995
Shortest paths in reachability graphs. Zbl 0831.68069
Desel, Jörg; Esparza, Javier
1
1995
Reachability in cyclic extended free-choice systems. Zbl 0778.68068
Desel, Jörg; Esparza, Javier
7
1993
Traps characterize home states in free choice systems. Zbl 0761.68070
Best, Eike; Desel, Jörg; Esparza, Javier
4
1992
Structure and analysis of free-choice Petri nets. (Struktur und Analyse von Free-Choice-Petrinetzen.) Zbl 0790.68090
Desel, Jörg
1
1992
Reachability in reversible free choice systems. Zbl 0773.68056
Desel, Jörg; Esparza, Javier
3
1991
Compositional generation of home states in free choice systems. Zbl 0773.68055
Best, Eike; Cherkasova, Ludmila; Desel, Jörg
1
1991
Partial order behaviour and structure of Petri nets. Zbl 0697.68061
Best, Eike; Desel, Jörg
6
1990
all top 5

Cited by 233 Authors

12 Desel, Jörg
11 Koutny, Maciej
10 Kleijn, Jetty H. C. M.
8 Best, Eike
8 Esparza, Javier
8 van der Aalst, Wil M. P.
6 Pietkiewicz-Koutny, Marta
5 Jiao, Li
5 Lorenz, Robert G.
4 Cheung, To-Yat
4 Haar, Stefan
4 Juhás, Gabriel
4 Mairesse, Jean
4 Ramírez-Treviño, Antonio
4 ter Hofstede, Arthur H. M.
3 Abbes, Samy
3 Darondeau, Philippe
3 Devillers, Raymond
3 Gaujal, Bruno
3 Lodaya, Kamal
3 Mauser, Sebastian
3 Phawade, Ramchandra
3 Pinna, G. Michele
3 Rosa-Velardo, Fernando
3 Thiagarajan, Pazhamaneri Subramaniam
3 Verbeek, H. M. W.
3 Wimmel, Harro
3 Wolf, Karsten
3 Yang, Shaofa
2 Benveniste, Albert
2 Bergenthum, Robin
2 Bouillard, Anne
2 Bride, Hadrien
2 Busi, Nadia
2 Chatain, Thomas
2 de Frutos-Escrig, David
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 Teruel, Enrique
2 van Hee, Kees Max
2 Varacca, Daniele
2 Völzer, Hagen
2 Wynn, Moe Thandar
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 Basten, Twan
1 Bastide, Rémi
1 Battyányi, Péter
1 Beňo, Miroslav
1 Bernardinello, Luca
1 Berti, Alessandro
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.
...and 133 more Authors

Citations by Year