×

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.; Desel, Jörg
Documents Indexed: 48 Publications since 1990, including 8 Books
Reviewing Activity: 113 Reviews

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 170 times in 140 Documents Cited by Year
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
68
1995
Place/transition Petri nets. Zbl 0926.68083
Desel, Jörg; Reisig, Wolfgang
19
1998
The synthesis problem of Petri nets. Zbl 0849.68085
Desel, Jörg; Reisig, Wolfgang
11
1996
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
8
2008
Reachability in cyclic extended free-choice systems. Zbl 0778.68068
Desel, Jörg; Esparza, Javier
6
1993
Partial order behaviour and structure of Petri nets. Zbl 0697.68061
Best, Eike; Desel, Jörg
6
1990
Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003
Desel, Jörg (ed.); Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.)
5
2004
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
Executability of scenarios in Petri nets. Zbl 1172.68044
Lorenz, Robert; Juhás, Gabriel; Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian
3
2009
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
Proving nonreachability by modulo-invariants. Zbl 0872.68131
Desel, J.; Neuendorf, K.-P.; Radola, M.-D.
3
1996
Reachability in reversible free choice systems. Zbl 0773.68056
Desel, Jörg; Esparza, Javier
3
1991
On negotiation as concurrency primitive. Zbl 1390.68468
Esparza, Javier; Desel, Jörg
2
2013
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
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
Process semantics of Petri nets over partial algebra. Zbl 0986.68089
Desel, Jörg; Juhás, Gabriel; Lorenz, Robert
2
2000
Basic linear algebraic techniques for place/transition nets. Zbl 0926.68085
Desel, Jörg
2
1998
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
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
Vicinity respecting homomorphisms for abstracting system requirements. Zbl 1312.68150
Desel, Jörg; Merceron, Agathe
1
2010
Synthesis of Petri nets from term based representations of infinite partial languages. Zbl 1217.68147
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert
1
2009
Model validation in controller design. Zbl 1088.93502
Desel, Jörg; Milijic, Vesna; Neumair, Christian
1
2004
Shortest paths in reachability graphs. Zbl 0831.68069
Desel, Jörg; Esparza, Javier
1
1995
Structure and analysis of free-choice Petri nets. Zbl 0790.68090
Desel, Jörg
1
1992
Compositional generation of home states in free choice systems. Zbl 0773.68055
Best, Eike; Cherkasova, Ludmila; Desel, Jörg
1
1991
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
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
1
2009
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
8
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 (ed.); Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.)
5
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
19
1998
Basic linear algebraic techniques for place/transition nets. Zbl 0926.68085
Desel, Jörg
2
1998
The synthesis problem of Petri nets. Zbl 0849.68085
Desel, Jörg; Reisig, Wolfgang
11
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
68
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
6
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. 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 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

Citations by Year