Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jörg Desel
@inproceedings{DBLP:conf/apn/FolzWeinsteinBDK23,
author = {Sabine Folz{-}Weinstein and
Robin Bergenthum and
J{\"{o}}rg Desel and
Jakub Kov{\'{a}}r},
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {ILP\({}^{\mbox{2}}\) Miner - Process Discovery for Partially Ordered
Event Logs Using Integer Linear Programming},
booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
pages = {59--76},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1\_4},
doi = {10.1007/978-3-031-33620-1\_4},
timestamp = {Wed, 31 May 2023 14:56:55 +0200},
biburl = {https://dblp.org/rec/conf/apn/FolzWeinsteinBDK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KlaiBADO23,
author = {Kais Klai and
Mohamed Taha Bennani and
Jaime Arias and
J{\"{o}}rg Desel and
Hanen Ochi},
editor = {Virgile Prevosto and
Cristina Seceleanu},
title = {Symbolic Observation Graph-Based Generation of Test Paths},
booktitle = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
UK, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {127--146},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38828-6\_8},
doi = {10.1007/978-3-031-38828-6\_8},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/KlaiBADO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/DeselKM22,
author = {J{\"{o}}rg Desel and
Daniel Krupka and
Julia Meisner},
title = {{GI} entwickelt Empfehlungen zur Gestaltung von Data-Science-Masterstudieng{\"{a}}ngen},
journal = {Datenbank-Spektrum},
volume = {22},
number = {1},
pages = {73--77},
year = {2022},
url = {https://doi.org/10.1007/s13222-022-00411-4},
doi = {10.1007/S13222-022-00411-4},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dbsk/DeselKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Desel22,
author = {J{\"{o}}rg Desel},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {The Chameleon Game},
booktitle = {Petri Nets and Software Engineering 2022 co-located with the 43rd
International Conference on Application and Theory of Petri Nets and
Concurrency {(PETRI} {NETS} 2022), Bergen, Norway, June 20th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3170},
pages = {202--210},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3170/short1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/Desel22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip3/OpelND21,
author = {Simone Opel and
Cajus Marian Netzer and
J{\"{o}}rg Desel},
editor = {Don Passey and
Denise Leahy and
Lawrence Williams and
Jaana Holvikivi and
Mikko Ruohonen},
title = {AsTRA - An Assessment Tool for Recognition and Adaptation of Prior
Professional Experience and Vocational Training},
booktitle = {Digital Transformation of Education and Learning - Past, Present and
Future - {IFIP} {TC} 3 Open Conference on Computers in Education,
{OCCE} 2021, Tampere, Finland, August 17-20, 2021, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {642},
pages = {222--233},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-97986-7\_19},
doi = {10.1007/978-3-030-97986-7\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip3/OpelND21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DeselF20,
author = {J{\"{o}}rg Desel and
Marc Finthammer},
title = {Stop-transitions of Petri Nets},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {143--172},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1951},
doi = {10.3233/FI-2020-1951},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DeselF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselFF20,
author = {J{\"{o}}rg Desel and
Marc Finthammer and
Andrea Frank},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Cycl{\textdollar}{\textbackslash}mathbf \{{\textbackslash}circlearrowright
\}{\textdollar}n - {A} Tool for Determining Stop-Transitions of Petri
Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {392--402},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_20},
doi = {10.1007/978-3-030-51831-8\_20},
timestamp = {Tue, 30 Jun 2020 19:29:38 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselFF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/Desel20,
author = {J{\"{o}}rg Desel},
editor = {Judith Michael and
Dominik Bork and
Hans{-}Georg Fill and
Peter Fettke and
Dimitris Karagiannis and
Julius K{\"{o}}pke and
Agnes Koschmider and
Heinrich C. Mayr and
Jana{-}Rebecca Rehse and
Ulrich Reimer and
Michael Striewe and
Marina Tropmann{-}Frick and
Meike Ullrich},
title = {Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching
Modeling - Model Teaching)},
booktitle = {Companion Proceedings of Modellierung 2020 Short, Workshop and Tools
{\&} Demo Papers co-located with Modellierung 2020, Vienna, Austria,
February 19-21, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2542},
pages = {58--62},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2542/MOHOL1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/modellierung/Desel20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DeselEH19,
author = {J{\"{o}}rg Desel and
Javier Esparza and
Philipp Hoffmann},
title = {Negotiation as concurrency primitive},
journal = {Acta Informatica},
volume = {56},
number = {2},
pages = {93--159},
year = {2019},
url = {https://doi.org/10.1007/s00236-018-0318-9},
doi = {10.1007/S00236-018-0318-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DeselEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Desel19,
author = {J{\"{o}}rg Desel},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Can a Single Transition Stop an Entire Net?},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2019 Satellite event of the conferences:
40th International Conference on Application and Theory of Petri Nets
and Concurrency Petri Nets 2019 and 19th International Conference
on Application of Concurrency to System Design {ACSD} 2019, ATAED@Petri
Nets/ACSD 2019, Aachen, Germany, June 25, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2371},
pages = {23--35},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2371/ATAED2019-23-35.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/Desel19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/Desel19,
author = {J{\"{o}}rg Desel},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Carl Adam Petri's Synchronic Distance},
booktitle = {Carl Adam Petri: Ideas, Personality, Impact},
pages = {119--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-96154-5\_16},
doi = {10.1007/978-3-319-96154-5\_16},
timestamp = {Tue, 04 Jun 2019 13:10:01 +0200},
biburl = {https://dblp.org/rec/books/sp/19/Desel19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisaij/ChoppyDP18,
author = {Christine Choppy and
J{\"{o}}rg Desel and
Laure Petrucci},
title = {Specialisation and Generalisation of Processes},
journal = {Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.},
volume = {13},
number = {Special},
pages = {35--46},
year = {2018},
url = {https://doi.org/10.18417/emisa.si.hcm.3},
doi = {10.18417/EMISA.SI.HCM.3},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/emisaij/ChoppyDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MeisBD17,
author = {Benjamin Meis and
Robin Bergenthum and
J{\"{o}}rg Desel},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {travis - An Online Tool for the Synthesis and Analysis of Petri Nets
with Final States},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {101--111},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_7},
doi = {10.1007/978-3-319-57861-3\_7},
timestamp = {Wed, 25 Sep 2019 18:08:03 +0200},
biburl = {https://dblp.org/rec/conf/apn/MeisBD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Desel17,
author = {J{\"{o}}rg Desel},
editor = {Maximilian Eibl and
Martin Gaedke},
title = {Die Entwicklung neuer GI-Empfehlungen f{\"{u}}r Informatik-Studieng{\"{a}}nge},
booktitle = {47. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Digitale
Kulturen, {INFORMATIK} 2017, Chemnitz, Germany, September 25-29, 2017},
series = {{LNI}},
volume = {{P-275}},
pages = {235--240},
publisher = {{GI}},
year = {2017},
url = {https://doi.org/10.18420/in2017\_17},
doi = {10.18420/IN2017\_17},
timestamp = {Wed, 13 Jan 2021 11:37:14 +0100},
biburl = {https://dblp.org/rec/conf/gi/Desel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DeselE16,
author = {J{\"{o}}rg Desel and
Javier Esparza},
title = {Negotiations and Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {11},
pages = {203--225},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53401-4\_10},
doi = {10.1007/978-3-662-53401-4\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/DeselE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MeisBD16,
author = {Benjamin Meis and
Robin Bergenthum and
J{\"{o}}rg Desel},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Synthesis of Elementary Net Systems with Final Configurations},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2016 Satellite event of the conferences:
37th International Conference on Application and Theory of Petri Nets
and Concurrency Petri Nets 2016 and 16th International Conference
on Application of Concurrency to System Design {ACSD} 2016, Torun,
Poland, June 20-21, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1592},
pages = {47--57},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1592/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/MeisBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2016,
editor = {J{\"{o}}rg Desel and
Alex Yakovlev},
title = {16th International Conference on Application of Concurrency to System
Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://ieeexplore.ieee.org/xpl/conhome/7841453/proceeding},
isbn = {978-1-5090-2589-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2016-11,
editor = {Maciej Koutny and
J{\"{o}}rg Desel and
Jetty Kleijn},
title = {Transactions on Petri Nets and Other Models of Concurrency {XI}},
series = {Lecture Notes in Computer Science},
volume = {9930},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53401-4},
doi = {10.1007/978-3-662-53401-4},
isbn = {978-3-662-53400-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2016-11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeselEH16,
author = {J{\"{o}}rg Desel and
Javier Esparza and
Philipp Hoffmann},
title = {Negotiation as Concurrency Primitive},
journal = {CoRR},
volume = {abs/1612.07912},
year = {2016},
url = {http://arxiv.org/abs/1612.07912},
eprinttype = {arXiv},
eprint = {1612.07912},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DeselEH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DeselK15,
author = {J{\"{o}}rg Desel and
G{\"{o}}rkem Kilin{\c{c}}},
title = {Observable liveness of Petri nets},
journal = {Acta Informatica},
volume = {52},
number = {2-3},
pages = {153--174},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0218-1},
doi = {10.1007/S00236-015-0218-1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DeselK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ColomDK15,
author = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel and
Jetty Kleijn},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {137},
number = {1},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1167},
doi = {10.3233/FI-2015-1167},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ColomDK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/FederrathDES15,
author = {Hannes Federrath and
J{\"{o}}rg Desel and
Albert Endres and
Patrick Stoll},
title = {Internet der Zukunft - sicher, schnell, vertrauensw{\"{u}}rdig},
journal = {Inform. Spektrum},
volume = {38},
number = {4},
pages = {277--282},
year = {2015},
url = {https://doi.org/10.1007/s00287-015-0899-4},
doi = {10.1007/S00287-015-0899-4},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/FederrathDES15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DeselR15,
author = {J{\"{o}}rg Desel and
Wolfgang Reisig},
title = {The concepts of Petri nets},
journal = {Softw. Syst. Model.},
volume = {14},
number = {2},
pages = {669--683},
year = {2015},
url = {https://doi.org/10.1007/s10270-014-0423-3},
doi = {10.1007/S10270-014-0423-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DeselR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselE15,
author = {J{\"{o}}rg Desel and
Javier Esparza},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke and
Harald St{\"{o}}rrle},
title = {Negotiations and Petri Nets},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'15), including the International Workshop on Petri
Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
satellite event of the conferences: 36th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2015 and 15th International Conference on Application of Concurrency
to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1372},
pages = {41--57},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1372/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/DeselE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaD15,
author = {Javier Esparza and
J{\"{o}}rg Desel},
editor = {Raymond R. Devillers and
Antti Valmari},
title = {Negotiation Programs},
booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International
Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9115},
pages = {157--178},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2\_8},
doi = {10.1007/978-3-319-19488-2\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EsparzaD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2015-10,
editor = {Maciej Koutny and
J{\"{o}}rg Desel and
Serge Haddad},
title = {Transactions on Petri Nets and Other Models of Concurrency {X}},
series = {Lecture Notes in Computer Science},
volume = {9410},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48650-4},
doi = {10.1007/978-3-662-48650-4},
isbn = {978-3-662-48649-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2015-10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/DeselR14,
author = {J{\"{o}}rg Desel and
Wolfgang Reisig},
title = {Petrinetze},
journal = {Inform. Spektrum},
volume = {37},
number = {3},
pages = {165--167},
year = {2014},
url = {https://doi.org/10.1007/s00287-014-0789-1},
doi = {10.1007/S00287-014-0789-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/DeselR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/ReisigD14,
author = {Wolfgang Reisig and
J{\"{o}}rg Desel},
title = {Konzepte der Petrinetze},
journal = {Inform. Spektrum},
volume = {37},
number = {3},
pages = {172--190},
year = {2014},
url = {https://doi.org/10.1007/s00287-013-0758-0},
doi = {10.1007/S00287-013-0758-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/ReisigD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselK14,
author = {J{\"{o}}rg Desel and
G{\"{o}}rkem Kilin{\c{c}}},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Observable Liveness},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, co-located with 35th International Conference on Application
and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
International Conference on Application of Concurrency to System Design
{(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1160},
pages = {143--163},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1160/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/apn/DeselK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/WakupD14,
author = {Christian Wakup and
J{\"{o}}rg Desel},
editor = {Fabiana Fournier and
Jan Mendling},
title = {Analyzing a TCP/IP-Protocol with Process Mining Techniques},
booktitle = {Business Process Management Workshops - {BPM} 2014 International Workshops,
Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {202},
pages = {353--364},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15895-2\_30},
doi = {10.1007/978-3-319-15895-2\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/WakupD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EsparzaD14,
author = {Javier Esparza and
J{\"{o}}rg Desel},
editor = {Anca Muscholl},
title = {On Negotiation as Concurrency Primitive {II:} Deterministic Cyclic
Negotiations},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {258--273},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_17},
doi = {10.1007/978-3-642-54830-7\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/EsparzaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaD14,
author = {Javier Esparza and
J{\"{o}}rg Desel},
title = {On Negotiation as Concurrency Primitive {II:} Deterministic Cyclic
Negotiations},
journal = {CoRR},
volume = {abs/1403.4958},
year = {2014},
url = {http://arxiv.org/abs/1403.4958},
eprinttype = {arXiv},
eprint = {1403.4958},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/0001DJ13,
author = {Robert Lorenz and
J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s},
title = {Models from Scenarios},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {7},
pages = {314--371},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38143-0\_9},
doi = {10.1007/978-3-642-38143-0\_9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/0001DJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Desel13,
author = {J{\"{o}}rg Desel},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {On Cyclic Behaviour of Unbounded Petri Nets},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.14},
doi = {10.1109/ACSD.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Desel13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaD13,
author = {Javier Esparza and
J{\"{o}}rg Desel},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {On Negotiation as Concurrency Primitive},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {440--454},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_31},
doi = {10.1007/978-3-642-40184-8\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2013,
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8},
doi = {10.1007/978-3-642-38697-8},
isbn = {978-3-642-38696-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaD13,
author = {Javier Esparza and
J{\"{o}}rg Desel},
title = {On Negotiation as Concurrency Primitive},
journal = {CoRR},
volume = {abs/1307.2145},
year = {2013},
url = {http://arxiv.org/abs/1307.2145},
eprinttype = {arXiv},
eprint = {1307.2145},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BergenthumDHM12,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Andreas Harrer and
Sebastian Mauser},
title = {Modeling and Mining of Learnflows},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {5},
pages = {22--50},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29072-5\_2},
doi = {10.1007/978-3-642-29072-5\_2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BergenthumDHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DongenDA12,
author = {Boudewijn F. van Dongen and
J{\"{o}}rg Desel and
Wil M. P. van der Aalst},
title = {Aggregating Causal Runs into Workflow Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {334--363},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_14},
doi = {10.1007/978-3-642-35179-2\_14},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/DongenDA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KlaiD12,
author = {Kais Klai and
J{\"{o}}rg Desel},
editor = {Holger Giese and
Grigore Rosu},
title = {Checking Soundness of Business Processes Compositionally Using Symbolic
Observation Graphs},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {67--83},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_5},
doi = {10.1007/978-3-642-30793-5\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/KlaiD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/delfi/2012,
editor = {J{\"{o}}rg Desel and
J{\"{o}}rg M. Haake and
Christian Spannagel},
title = {DeLFI 2012 - Die 10. e-Learning Fachtagung Informatik der Gesellschaft
f{\"{u}}r Informatik e.V., 24.-26. September 2012, FernUniversit{\"{a}}t
Hagen},
series = {{LNI}},
volume = {{P-207}},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/21018},
isbn = {978-3-88579-601-5},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/delfi/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/KlaiTD11,
author = {Kais Klai and
Samir Tata and
J{\"{o}}rg Desel},
title = {Symbolic abstraction and deadlock-freeness verification of inter-enterprise
processes},
journal = {Data Knowl. Eng.},
volume = {70},
number = {5},
pages = {467--482},
year = {2011},
url = {https://doi.org/10.1016/j.datak.2011.01.007},
doi = {10.1016/J.DATAK.2011.01.007},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/KlaiTD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChoppyDP11,
author = {Christine Choppy and
J{\"{o}}rg Desel and
Laure Petrucci},
editor = {Michael Duvigneau and
Daniel Moldt and
Kunihiko Hiraishi},
title = {Specialisation and Generalisation of Processes},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {723},
pages = {109--123},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-723/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/ChoppyDP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/BergenthumDM11,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Sebastian Mauser},
editor = {Markus N{\"{u}}ttgens and
Oliver Thomas and
Barbara Weber},
title = {Workflow Nets with Roles},
booktitle = {Enterprise Modelling and Information Systems Architectures: Proceedings
of the 4th International Workshop on Enterprise Modelling and Information
Systems Architectures, {EMISA} 2011, Hamburg, Germany, September 22-23,
2011},
series = {{LNI}},
volume = {{P-190}},
pages = {65--78},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/18525},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emisa/BergenthumDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2011art,
editor = {J{\"{o}}rg Desel and
Alex Yakovlev},
title = {Proceedings of the Workshop Applications of Region Theory 2011, Newcastle
upon Tyne, UK, June 21, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {725},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-725},
urn = {urn:nbn:de:0074-725-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/2011art.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DeselM10,
author = {J{\"{o}}rg Desel and
Agathe Merceron},
title = {Vicinity Respecting Homomorphisms for Abstracting System Requirements},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {4},
pages = {1--20},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18222-8\_1},
doi = {10.1007/978-3-642-18222-8\_1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/DeselM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DeselY10,
author = {J{\"{o}}rg Desel and
Alex Yakovlev},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Introduction},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {149},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/11\_JorgDesel\_introduction.pdf},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/acsd/DeselY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/DeselK10,
author = {J{\"{o}}rg Desel and
Leo von Klenze},
editor = {Michael Kerres and
Nadine Ojstersek and
Ulrik Schroeder and
Ulrich Hoppe},
title = {{AMSEL} - ein Lernsystem zum Algorithmenentwurf},
booktitle = {DeLFI 2010 - 8. Tagung der Fachgruppe E-Learning der Gesellschaft
f{\"{u}}r Informatik e.V., 12.-15. September 2010, Universit{\"{a}}t
Duisburg-Essen},
series = {{LNI}},
volume = {{P-169}},
pages = {33--44},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/4732},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/delfi/DeselK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergenthumDML09,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Sebastian Mauser and
Robert Lorenz},
title = {Synthesis of Petri Nets from Term Based Representations of Infinite
Partial Languages},
journal = {Fundam. Informaticae},
volume = {95},
number = {1},
pages = {187--217},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-147},
doi = {10.3233/FI-2009-147},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergenthumDML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LorenzJBDM09,
author = {Robert Lorenz and
Gabriel Juh{\'{a}}s and
Robin Bergenthum and
J{\"{o}}rg Desel and
Sebastian Mauser},
title = {Executability of scenarios in Petri nets},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {12-13},
pages = {1190--1216},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.11.014},
doi = {10.1016/J.TCS.2008.11.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LorenzJBDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BergenthumDML09,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Sebastian Mauser and
Robert Lorenz},
title = {Construction of Process Models from Example Runs},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {2},
pages = {243--259},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00899-3\_14},
doi = {10.1007/978-3-642-00899-3\_14},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BergenthumDML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BergenthumDM09,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Sebastian Mauser},
title = {Comparison of Different Algorithms to Synthesize a Petri Net from
a Partial Language},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {3},
pages = {216--243},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04856-2\_9},
doi = {10.1007/978-3-642-04856-2\_9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BergenthumDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JuhasLD09,
author = {Gabriel Juh{\'{a}}s and
Robert Lorenz and
J{\"{o}}rg Desel},
editor = {Giuliana Franceschinis and
Karsten Wolf},
title = {Unifying Petri Net Semantics with Token Flows},
booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
{PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5606},
pages = {2--21},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02424-5\_2},
doi = {10.1007/978-3-642-02424-5\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/JuhasLD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/KlaiTD09,
author = {Kais Klai and
Samir Tata and
J{\"{o}}rg Desel},
editor = {Umeshwar Dayal and
Johann Eder and
Jana Koehler and
Hajo A. Reijers},
title = {Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise
Processes},
booktitle = {Business Process Management, 7th International Conference, {BPM} 2009,
Ulm, Germany, September 8-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5701},
pages = {294--309},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03848-8\_20},
doi = {10.1007/978-3-642-03848-8\_20},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/KlaiTD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LiuKWDS08,
author = {Cong Liu and
Alex Kondratyev and
Yosinori Watanabe and
J{\"{o}}rg Desel and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Schedulability Analysis of Petri Nets Based on Structural Properties},
journal = {Fundam. Informaticae},
volume = {86},
number = {3},
pages = {325--341},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi86-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LiuKWDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergenthumDLM08,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Robert Lorenz and
Sebastian Mauser},
title = {Synthesis of Petri Nets from Finite Partial Languages},
journal = {Fundam. Informaticae},
volume = {88},
number = {4},
pages = {437--468},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergenthumDLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BergenthumDLM08,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Robert Lorenz and
Sebastian Mauser},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {Synthesis of Petri nets from infinite partial languages},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {170--179},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574609},
doi = {10.1109/ACSD.2008.4574609},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BergenthumDLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BergenthumDLM08,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Robert Lorenz and
Sebastian Mauser},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Synthesis of Petri Nets from Scenarios with VipTool},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {388--398},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_25},
doi = {10.1007/978-3-540-68746-7\_25},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BergenthumDLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/BergenthumDHM08,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Andreas Harrer and
Sebastian Mauser},
editor = {Silke Seehusen and
Ulrike Lucke and
Stefan Fischer},
title = {Learnflow Mining},
booktitle = {DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft
f{\"{u}}r Informatik e.V., 07. - 10. September 2008 in L{\"{u}}beck,
Germany},
series = {{LNI}},
volume = {{P-132}},
pages = {269--280},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/15012},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/delfi/BergenthumDHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/DeselI08,
author = {J{\"{o}}rg Desel and
Dorothea Iglezakis},
editor = {Silke Seehusen and
Ulrike Lucke and
Stefan Fischer},
title = {Hilfreiche Hilfe? - Adaptives Learning-on-Demand},
booktitle = {DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft
f{\"{u}}r Informatik e.V., 07. - 10. September 2008 in L{\"{u}}beck,
Germany},
series = {{LNI}},
volume = {{P-132}},
pages = {293--304},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/15014},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/delfi/DeselI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icves/HermannD08,
author = {Andreas Hermann and
J{\"{o}}rg Desel},
title = {Driving situation analysis in automotive environment},
booktitle = {{IEEE} International Conference on Vehicular Electronics and Safety,
{ICVES} 2008, Columbus, OH, USA, 22-24 September, 2008},
pages = {216--221},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ICVES.2008.4640860},
doi = {10.1109/ICVES.2008.4640860},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icves/HermannD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ista/Desel08,
author = {J{\"{o}}rg Desel},
editor = {Roland H. Kaschek and
Christian Kop and
Claudia Steinberger and
G{\"{u}}nther Fliedl},
title = {From Human Knowledge to Process Models},
booktitle = {Information Systems and e-Business Technologies, 2nd International
United Information Systems Conference, {UNISCON} 2008, Klagenfurt,
Austria, April 22-25, 2008, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {5},
pages = {84--95},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78942-0\_10},
doi = {10.1007/978-3-540-78942-0\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ista/Desel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/schule/DeselN08,
author = {J{\"{o}}rg Desel and
Christian Neumair},
editor = {Torsten Brinda and
Michael Fothe and
Peter Hubwieser},
title = {Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten
Sichtweise von Algorithmen},
booktitle = {Didaktik der Informatik - Aktuelle Forschungsergebnisse. 5. Workshop
der GI-Fachgruppe "Didaktik der Informatik" 24.-25.09.2008 an der
Universit{\"{a}}t Erlangen-N{\"{u}}rnberg},
series = {{LNI}},
volume = {{P-135}},
pages = {151--152},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/21234},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/schule/DeselN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LorenzBDM07,
author = {Robert Lorenz and
Robin Bergenthum and
J{\"{o}}rg Desel and
Sebastian Mauser},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Synthesis of Petri Nets from Finite Partial Languages},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.72},
doi = {10.1109/ACSD.2007.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LorenzBDM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BergenthumDLM07,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Robert Lorenz and
Sebastian Mauser},
editor = {Gustavo Alonso and
Peter Dadam and
Michael Rosemann},
title = {Process Mining Based on Regions of Languages},
booktitle = {Business Process Management, 5th International Conference, {BPM} 2007,
Brisbane, Australia, September 24-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4714},
pages = {375--383},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75183-0\_27},
doi = {10.1007/978-3-540-75183-0\_27},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/BergenthumDLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Desel07,
author = {J{\"{o}}rg Desel},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Controlling Petri Net Process Models},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {17--30},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_2},
doi = {10.1007/978-3-540-79230-7\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Desel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LiuKWSD06,
author = {Cong Liu and
Alex Kondratyev and
Yosinori Watanabe and
Alberto L. Sangiovanni{-}Vincentelli and
J{\"{o}}rg Desel},
title = {Schedulability Analysis of Petri Nets Based on Structural Properties},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.22},
doi = {10.1109/ACSD.2006.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LiuKWSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BergenthumDJL06,
author = {Robin Bergenthum and
J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz},
editor = {Susanna Donatelli and
P. S. Thiagarajan},
title = {Can {I} Execute My Scenario in Your Net? VipTool Tells You!},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4024},
pages = {381--390},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767589\_21},
doi = {10.1007/11767589\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BergenthumDJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/Desel06,
author = {J{\"{o}}rg Desel},
editor = {Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Petri Net Model Synthesis from Scenarios},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2006-1},
pages = {19--26},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2006},
url = {http://www.sse-tubs.de/publications/GRS\_MBEES\_InfoBericht\_06.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:38 +0100},
biburl = {https://dblp.org/rec/conf/mbees/Desel06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JuhasLD05,
author = {Gabriel Juh{\'{a}}s and
Robert Lorenz and
J{\"{o}}rg Desel},
editor = {Gianfranco Ciardo and
Philippe Darondeau},
title = {Can {I} Execute My Scenario in Your Net?},
booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference,
{ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3536},
pages = {289--308},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494744\_17},
doi = {10.1007/11494744\_17},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/JuhasLD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/Dumas05/Desel05,
author = {J{\"{o}}rg Desel},
editor = {Marlon Dumas and
Wil M. P. van der Aalst and
Arthur H. M. ter Hofstede},
title = {Process Modeling Using Petri Nets},
booktitle = {Process-Aware Information Systems: Bridging People and Software Through
Process Technology},
pages = {147--177},
publisher = {Wiley},
year = {2005},
url = {https://doi.org/10.1002/0471741442.ch7},
doi = {10.1002/0471741442.CH7},
timestamp = {Sat, 19 Oct 2019 19:02:47 +0200},
biburl = {https://dblp.org/rec/books/wi/Dumas05/Desel05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emisa/2005,
editor = {J{\"{o}}rg Desel and
Ulrich Frank},
title = {Enterprise Modelling and Information Systems Architectures, Proceedings
of the Workshop in Klagenfurt, October 24-25, 2005},
series = {{LNI}},
volume = {{P-75}},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/24820},
isbn = {3-88579-404-7},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emisa/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icom/DeselW04,
author = {J{\"{o}}rg Desel and
Martin Wessner},
title = {Bericht aus der Fachgruppe E-Learning},
journal = {i-com},
volume = {3},
number = {2},
pages = {68--69},
year = {2004},
url = {https://doi.org/10.1524/icom.3.2.68.38344},
doi = {10.1524/ICOM.3.2.68.38344},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icom/DeselW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselJN04,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Christian Neumair},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {Finite Unfoldings of Unbounded Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {157--176},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_10},
doi = {10.1007/978-3-540-27793-4\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselJN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Desel04,
author = {J{\"{o}}rg Desel},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Process Description Languages and Methods: Introduction to the Chapter
Petri Nets and Related Approaches in Engineering},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {199--205},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_12},
doi = {10.1007/978-3-540-27863-4\_12},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Desel04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/DeselHJLN04,
author = {J{\"{o}}rg Desel and
Hans{-}Michael Hanisch and
Gabriel Juh{\'{a}}s and
Robert Lorenz and
Christian Neumair},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {A Guide to Modelling and Control with Modules of Signal Nets},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {270--300},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_16},
doi = {10.1007/978-3-540-27863-4\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/DeselHJLN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2003pn,
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98282},
doi = {10.1007/B98282},
isbn = {3-540-22261-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/2003pn.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2004,
editor = {J{\"{o}}rg Desel and
Barbara Pernici and
Mathias Weske},
title = {Business Process Management: Second International Conference, {BPM}
2004, Potsdam, Germany, June 17-18, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3080},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98280},
doi = {10.1007/B98280},
isbn = {3-540-22235-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dfg/2004,
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100778},
doi = {10.1007/B100778},
isbn = {3-540-23135-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/TippeD03,
author = {Dorothea Tippe and
J{\"{o}}rg Desel},
title = {Potentiale Virtueller Lerngruppen aus Sicht der Psychologie},
journal = {K{\"{u}}nstliche Intell.},
volume = {17},
number = {1},
pages = {40},
year = {2003},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/TippeD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/DeselMN03,
author = {J{\"{o}}rg Desel and
Vesna Milijic and
Christian Neumair},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Model Validation in Controller Design},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {467--495},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_13},
doi = {10.1007/978-3-540-27755-2\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/DeselMN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/DeselJLN03,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz and
Christian Neumair},
editor = {Wil M. P. van der Aalst and
Arthur H. M. ter Hofstede and
Mathias Weske},
title = {Modelling and Validation with VipTool},
booktitle = {Business Process Management, International Conference, {BPM} 2003,
Eindhoven, The Netherlands, June 26-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2678},
pages = {380--389},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44895-0\_26},
doi = {10.1007/3-540-44895-0\_26},
timestamp = {Sat, 19 Oct 2019 20:23:19 +0200},
biburl = {https://dblp.org/rec/conf/bpm/DeselJLN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/DeselE03,
author = {J{\"{o}}rg Desel and
Thomas Erwin},
editor = {Hartmut Ehrig and
Wolfgang Reisig and
Grzegorz Rozenberg and
Herbert Weber},
title = {Quantitative Engineering of Business Processes with {VIP} business},
booktitle = {Petri Net Technology for Communication-Based Systems - Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2472},
pages = {219--242},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40022-6\_11},
doi = {10.1007/978-3-540-40022-6\_11},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/DeselE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BeckerDFKKLNRS03,
author = {J{\"{o}}rg Becker and
J{\"{o}}rg Desel and
Ulrich Frank and
Stefan Kirn and
Helmut Krcmar and
Peter Loos and
Markus N{\"{u}}ttgens and
Michael Rohloff and
Reinhard Sch{\"{u}}tte},
editor = {Klaus R. Dittrich and
Wolfgang K{\"{o}}nig and
Andreas Oberweis and
Kai Rannenberg and
Wolfgang Wahlster},
title = {Referenzmodellierung 2003 (RefMod2003)},
booktitle = {33. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Innovative
Informatikanwendungen, {INFORMATIK} 2003, Frankfurt am Main, Germany,
September 29 - October 2, 2003, Band 1},
series = {{LNI}},
volume = {{P-34}},
pages = {232},
publisher = {{GI}},
year = {2003},
url = {https://dl.gi.de/handle/20.500.12116/29769},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/BeckerDFKKLNRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeselJL03,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Relating axiomatic and operational semantics of place/transition nets:
From process terms to partial orders},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {46--62},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80746-1},
doi = {10.1016/S1571-0661(04)80746-1},
timestamp = {Thu, 08 Dec 2022 11:16:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeselJL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/delfi/2003,
editor = {Arndt Bode and
J{\"{o}}rg Desel and
Sabine Rathmayer and
Martin Wessner},
title = {DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18.
September 2003 in Garching bei M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-37}},
publisher = {{GI}},
year = {2003},
url = {https://dl.gi.de/handle/20.500.12116/21009},
isbn = {3-88579-366-0},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/delfi/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Desel02,
author = {J{\"{o}}rg Desel},
editor = {Javier Esparza and
Charles Lakos},
title = {Model Validation - {A} Theoretical Issue?},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {23--43},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_2},
doi = {10.1007/3-540-48068-4\_2},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/Desel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/Desel02,
author = {J{\"{o}}rg Desel},
editor = {J{\"{o}}rg Desel and
Mathias Weske},
title = {Tutorium: Validierung und Verifikation von Prozessmodellen},
booktitle = {Prozessorientierte Methoden und Werkzeuge f{\"{u}}r die Entwicklung
von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam},
series = {{LNI}},
volume = {{P-21}},
pages = {78--80},
publisher = {{GI}},
year = {2002},
url = {https://dl.gi.de/handle/20.500.12116/30175},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emisa/Desel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epk/AalstDK02,
author = {Wil M. P. van der Aalst and
J{\"{o}}rg Desel and
Ekkart Kindler},
editor = {Markus N{\"{u}}ttgens and
Frank J. Rump},
title = {On the semantics of EPCs: {A} vicious circle},
booktitle = {{EPK} 2002 - Gesch{\"{a}}ftsprozessmanagement mit Ereignisgesteuerten
Prozessketten, Proceedings des GI-Workshops und Arbeitskreistreffens
(Trier, November 2002)},
pages = {71--79},
publisher = {GI-Arbeitskreis Gesch{\"{a}}ftsprozessmanagement mit Ereignisgesteuerten
Prozessketten},
year = {2002},
url = {http://www.epk-community.de/epk2002/paper/epk2002-proceedings\_adk.pdf},
timestamp = {Tue, 17 Feb 2004 11:26:44 +0100},
biburl = {https://dblp.org/rec/conf/epk/AalstDK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emisa/2002,
editor = {J{\"{o}}rg Desel and
Mathias Weske},
title = {Prozessorientierte Methoden und Werkzeuge f{\"{u}}r die Entwicklung
von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam},
series = {{LNI}},
volume = {{P-21}},
publisher = {{GI}},
year = {2002},
url = {https://dl.gi.de/handle/20.500.12116/30156},
isbn = {3-88579-350-4},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emisa/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselJ01,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s},
editor = {Hartmut Ehrig and
Gabriel Juh{\'{a}}s and
Julia Padberg and
Grzegorz Rozenberg},
title = {''What Is a Petri Net?''},
booktitle = {Unifying Petri Nets, Advances in Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2128},
pages = {1--25},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45541-8\_1},
doi = {10.1007/3-540-45541-8\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselJL01,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz},
editor = {Hartmut Ehrig and
Gabriel Juh{\'{a}}s and
Julia Padberg and
Grzegorz Rozenberg},
title = {Petri Nets over Partial Algebra},
booktitle = {Unifying Petri Nets, Advances in Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2128},
pages = {126--172},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45541-8\_6},
doi = {10.1007/3-540-45541-8\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselJL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Desel01,
author = {J{\"{o}}rg Desel},
editor = {Kurt Bauknecht and
Wilfried Brauer and
Thomas A. M{\"{u}}ck},
title = {Wer will virtuell lehren? Wer will virtuell lernen?},
booktitle = {Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft
f{\"{u}}r Informatik, Wirtschaft und Wissenschaft in der Network
Economy - Visionen und Wirklichkeit, Jahrestagung der {\"{O}}sterreichischen
Computer Gesellschaft 2001, {INFORMATIK/OCG} 2001, Vienna, Austria,
September 25-28, 2001, Band 2},
series = {Schriftenreihe der {\"{O}}sterreichischen Computer-Gesellschaft},
volume = {157},
pages = {1093--1098},
publisher = {Konstanz UVK-Verl.-Ges.},
year = {2001},
timestamp = {Fri, 17 Jul 2020 14:28:31 +0200},
biburl = {https://dblp.org/rec/conf/gi/Desel01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeselJL01,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Unifying Petri Nets with Restricted Occurrence Rule Using Partial
Algebra},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {163--187},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80950-2},
doi = {10.1016/S1571-0661(04)80950-2},
timestamp = {Thu, 01 Dec 2022 11:20:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeselJL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Desel01,
editor = {J{\"{o}}rg Desel},
title = {Das ist Informatik},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-3-642-56774-2},
doi = {10.1007/978-3-642-56774-2},
isbn = {3-540-41091-0},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Desel01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselJL00,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz},
editor = {Mogens Nielsen and
Dan Simpson},
title = {Process Semantics of Petri Nets over Partial Algebra},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
{ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1825},
pages = {146--165},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44988-4\_10},
doi = {10.1007/3-540-44988-4\_10},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselJL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Desel00,
author = {J{\"{o}}rg Desel},
editor = {Wil M. P. van der Aalst and
J{\"{o}}rg Desel and
Andreas Oberweis},
title = {Validation of Process Models by Construction of Process Nets},
booktitle = {Business Process Management, Models, Techniques, and Empirical Studies},
series = {Lecture Notes in Computer Science},
volume = {1806},
pages = {110--128},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45594-9\_8},
doi = {10.1007/3-540-45594-9\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/Desel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/DeselE00,
author = {J{\"{o}}rg Desel and
Thomas Erwin},
editor = {Wil M. P. van der Aalst and
J{\"{o}}rg Desel and
Andreas Oberweis},
title = {Modeling, Simulation and Analysis of Business Processes},
booktitle = {Business Process Management, Models, Techniques, and Empirical Studies},
series = {Lecture Notes in Computer Science},
volume = {1806},
pages = {129--141},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45594-9\_9},
doi = {10.1007/3-540-45594-9\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/DeselE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/Desel00,
author = {J{\"{o}}rg Desel},
editor = {Paul A. Fishwick and
Keebom Kang and
Jeffrey A. Joines and
Russell R. Barton},
title = {Teaching system modeling, simulation and validation},
booktitle = {Proceedings of the 32nd conference on Winter simulation, {WSC} 2000,
Wyndham Palace Resort {\&} Spa, Orlando, FL, USA, December 10-13,
2000},
pages = {1669--1675},
publisher = {{WSC}},
year = {2000},
url = {https://doi.org/10.1109/WSC.2000.899155},
doi = {10.1109/WSC.2000.899155},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/Desel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/awpn/1999,
editor = {J{\"{o}}rg Desel and
Andreas Oberweis},
title = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
Frankfurt, Germany, October 11. - 12., 1999},
series = {{CEUR} Workshop Proceedings},
volume = {26},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-26},
urn = {urn:nbn:de:0074-26-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/awpn/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2000,
editor = {Wil M. P. van der Aalst and
J{\"{o}}rg Desel and
Andreas Oberweis},
title = {Business Process Management, Models, Techniques, and Empirical Studies},
series = {Lecture Notes in Computer Science},
volume = {1806},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45594-9},
doi = {10.1007/3-540-45594-9},
isbn = {3-540-67454-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/TipleaD99,
author = {Ferucio Laurentiu Tiplea and
J{\"{o}}rg Desel},
editor = {J{\"{o}}rg Desel and
Andreas Oberweis},
title = {Petri Net Process Decomposition with Application to Validation},
booktitle = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
Frankfurt, Germany, October 11. - 12., 1999},
series = {{CEUR} Workshop Proceedings},
volume = {26},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-26/tiplea.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/awpn/TipleaD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/DeselES99,
author = {J{\"{o}}rg Desel and
Thomas Erwin and
Wolffried Stucky},
editor = {Roland H. Kaschek},
title = {Simulation und Leistungsbewertung von Gesch{\"{a}}ftsprozessen},
booktitle = {Entwicklungsmethoden f{\"{u}}r Informationssysteme und deren
Anwendung, {EMISA} '99, Fachtungung der Gesellschaft f{\"{u}}r
Informatik, September 1999 in Fischbachau, Deutschland},
series = {Teubner-Reihe Wirtschaftsinformatik},
pages = {127--146},
publisher = {Teubner, Stuttgart, Leipzig},
year = {1999},
timestamp = {Mon, 09 Jul 2018 08:41:17 +0200},
biburl = {https://dblp.org/rec/conf/emisa/DeselES99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modellierung/1999,
editor = {J{\"{o}}rg Desel and
Klaus Pohl and
Andy Sch{\"{u}}rr},
title = {Modellierung 1999, Workshop der Gesellschaft f{\"{u}}r Informatik
e. V. (GI), M{\"{a}}rz 1999 in Karlsruhe},
publisher = {Teubner},
year = {1999},
isbn = {3-519-00274-4},
timestamp = {Mon, 24 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modellierung/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DeselK98,
author = {J{\"{o}}rg Desel and
Ekkart Kindler},
title = {Proving Correctness of Distributed Algorithms Using High-Level Petri
Nets - {A} Case Study},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657550},
doi = {10.1109/CSD.1998.657550},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/DeselK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/Desel98,
author = {J{\"{o}}rg Desel},
editor = {Klaus Pohl and
Andy Sch{\"{u}}rr and
Gottfried Vossen},
title = {Petrinetze als Grundlage der Ablaufmodellierung},
booktitle = {Modellierung '98, Proceedings des GI-Workshops in M{\"{u}}nster,
11.-13. M{\"{a}}rz 1998},
series = {{CEUR} Workshop Proceedings},
volume = {9},
publisher = {CEUR-WS.org},
year = {1998},
url = {https://ceur-ws.org/Vol-9/Desel.ps},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/modellierung/Desel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1998,
editor = {J{\"{o}}rg Desel and
Manuel Silva Su{\'{a}}rez},
title = {Application and Theory of Petri Nets 1998, 19th International Conference,
{ICATPN} '98, Lisbon, Portugal, June 22-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1420},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69108-1},
doi = {10.1007/3-540-69108-1},
isbn = {3-540-64677-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Desel97,
author = {J{\"{o}}rg Desel},
editor = {Christian Freksa and
Matthias Jantzen and
R{\"{u}}diger Valk},
title = {How Distributed Algorithms Play the Token Game},
booktitle = {Foundations of Computer Science: Potential - Theory - Cognition, to
Wilfried Brauer on the occasion of his sixtieth birthday},
series = {Lecture Notes in Computer Science},
volume = {1337},
pages = {297--306},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0052098},
doi = {10.1007/BFB0052098},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Desel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/DeselR97,
author = {J{\"{o}}rg Desel and
Horst Reichel},
editor = {Matthias Jarke and
Klaus Pasedach and
Klaus Pohl},
title = {Workshop: Grundlagen der Parallelit{\"{a}}t},
booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
1997},
series = {Informatik Aktuell},
pages = {626},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60831-5\_84},
doi = {10.1007/978-3-642-60831-5\_84},
timestamp = {Tue, 23 May 2017 01:10:32 +0200},
biburl = {https://dblp.org/rec/conf/gi/DeselR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DeselR96,
author = {J{\"{o}}rg Desel and
Wolfgang Reisig},
title = {The Synthesis Problem of Petri Nets},
journal = {Acta Informatica},
volume = {33},
number = {4},
pages = {297--315},
year = {1996},
url = {https://doi.org/10.1007/s002360050046},
doi = {10.1007/S002360050046},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DeselR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeselNR96,
author = {J{\"{o}}rg Desel and
Klaus{-}Peter Neuendorf and
M.{-}D. Radola},
title = {Proving Nonreachability by Modulo-Invariants},
journal = {Theor. Comput. Sci.},
volume = {153},
number = {1{\&}2},
pages = {49--64},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00117-4},
doi = {10.1016/0304-3975(95)00117-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DeselNR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wi/DeselO96,
author = {J{\"{o}}rg Desel and
Andreas Oberweis},
title = {Petri-Netze in der angewandten Informatik - Einf{\"{u}}hrung,
Grundlagen und Perspektiven},
journal = {Wirtschaftsinf.},
volume = {38},
number = {4},
pages = {359--367},
year = {1996},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wi/DeselO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/DeselR96,
author = {J{\"{o}}rg Desel and
Wolfgang Reisig},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Place or Transition Petri Nets},
booktitle = {Lectures on Petri Nets {I:} Basic Models, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1491},
pages = {122--173},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65306-6\_15},
doi = {10.1007/3-540-65306-6\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/DeselR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Desel96,
author = {J{\"{o}}rg Desel},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Basic Linear Algebraic Techniques for Place or Transition Nets},
booktitle = {Lectures on Petri Nets {I:} Basic Models, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1491},
pages = {257--308},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65306-6\_18},
doi = {10.1007/3-540-65306-6\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Desel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DeselKVW95,
author = {J{\"{o}}rg Desel and
Ekkart Kindler and
Tobias Vesper and
Rolf Walter},
title = {A Simplified Proof for a Self-Stabilizing Protocol: {A} Game of Cards},
journal = {Inf. Process. Lett.},
volume = {54},
number = {6},
pages = {327--328},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(95)00065-K},
doi = {10.1016/0020-0190(95)00065-K},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DeselKVW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DeselE95,
author = {J{\"{o}}rg Desel and
Javier Esparza},
title = {Shortest Paths in Reachability Graphs},
journal = {J. Comput. Syst. Sci.},
volume = {51},
number = {2},
pages = {314--323},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1070},
doi = {10.1006/JCSS.1995.1070},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DeselE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/strict/1995,
editor = {J{\"{o}}rg Desel},
title = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9},
doi = {10.1007/978-1-4471-3078-9},
isbn = {978-3-540-19982-3},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/strict/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Desel94,
author = {J{\"{o}}rg Desel},
editor = {P. S. Thiagarajan},
title = {Proving Non-Reachabililty by Modulo-Place-Invariants},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
14th Conference, Madras, India, December 15-17, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {880},
pages = {366--377},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2\_138},
doi = {10.1007/3-540-58715-2\_138},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Desel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeselE93,
author = {J{\"{o}}rg Desel and
Javier Esparza},
title = {Reachability in Cyclic Extended Free-Choice Systems},
journal = {Theor. Comput. Sci.},
volume = {114},
number = {1},
pages = {93--118},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90154-L},
doi = {10.1016/0304-3975(93)90154-L},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DeselE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselE93,
author = {J{\"{o}}rg Desel and
Javier Esparza},
editor = {Marco Ajmone Marsan},
title = {Shortest Paths in Reachability Graphs},
booktitle = {Application and Theory of Petri Nets 1993, 14th International Conference,
Chicago, Illinois, USA, June 21-25, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {691},
pages = {224--241},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56863-8\_49},
doi = {10.1007/3-540-56863-8\_49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DeselR93,
author = {J{\"{o}}rg Desel and
Wolfgang Reisig},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {The Synthesis Problem of Petri Nets},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {120--129},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_15},
doi = {10.1007/3-540-56503-5\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DeselR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/Desel93,
author = {J{\"{o}}rg Desel},
editor = {Jan van Leeuwen},
title = {Regular Marked Petri Nets},
booktitle = {Graph-Theoretic Concepts in Computer Science, 19th International Workshop,
{WG} '93, Utrecht, The Netherlands, June 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {790},
pages = {264--275},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57899-4\_58},
doi = {10.1007/3-540-57899-4\_58},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/Desel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0073545,
author = {J{\"{o}}rg Desel},
title = {Struktur und Analyse von Free-Choice-Petrinetzen},
series = {{DUV} Informatik},
publisher = {Deutscher Universit{\"{a}}tsverlag},
year = {1992},
url = {https://d-nb.info/920461611},
isbn = {978-3-8244-2030-8},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0073545.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BestCD92,
author = {Eike Best and
Ludmila Cherkasova and
J{\"{o}}rg Desel},
title = {Compositional Generation of Home States in Free Choice Nets},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6},
pages = {572--581},
year = {1992},
url = {https://doi.org/10.1007/BF01211475},
doi = {10.1007/BF01211475},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BestCD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BestDE92,
author = {Eike Best and
J{\"{o}}rg Desel and
Javier Esparza},
title = {Traps Characterize Home States in Free Choice Systems},
journal = {Theor. Comput. Sci.},
volume = {101},
number = {2},
pages = {161--176},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90048-K},
doi = {10.1016/0304-3975(92)90048-K},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BestDE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Desel92,
author = {J{\"{o}}rg Desel},
editor = {Kurt Jensen},
title = {A Proof of the Rank Theorem for Extended Free Choice Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {134--153},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_8},
doi = {10.1007/3-540-55676-1\_8},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Desel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9231,
author = {J{\"{o}}rg Desel and
Wolfgang Reisig},
title = {The synthesis problem of Petri nets},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9231},
pages = {1--29},
year = {1992},
url = {https://d-nb.info/930523261},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DeselE91,
author = {J{\"{o}}rg Desel and
Javier Esparza},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Reachability in Reversible Free Choice Systems},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {384--397},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020814},
doi = {10.1007/BFB0020814},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DeselE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BestCD91,
author = {Eike Best and
Ludmila Cherkasova and
J{\"{o}}rg Desel},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Compositional Generation of Home States in Free Choice Systems},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {398--409},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020815},
doi = {10.1007/BFB0020815},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BestCD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BestD90,
author = {Eike Best and
J{\"{o}}rg Desel},
title = {Partial Order Behaviour and Structure of Petri Nets},
journal = {Formal Aspects Comput.},
volume = {2},
number = {2},
pages = {123--138},
year = {1990},
url = {https://doi.org/10.1007/BF01888220},
doi = {10.1007/BF01888220},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BestD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Desel90,
author = {J{\"{o}}rg Desel},
editor = {Grzegorz Rozenberg},
title = {On abstraction of nets},
booktitle = {Advances in Petri Nets 1991, Papers from the 11th International Conference
on Applications and Theory of Petri Nets, Paris, France, June 1990},
series = {Lecture Notes in Computer Science},
volume = {524},
pages = {78--92},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0019970},
doi = {10.1007/BFB0019970},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/Desel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Desel90,
author = {J{\"{o}}rg Desel},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Reduction and Design of Well-behaved Concurrent Systems},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {166--181},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039059},
doi = {10.1007/BFB0039059},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Desel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9023,
author = {J{\"{o}}rg Desel and
Javier Esparza},
title = {Reachability in reversible free-choice systems},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9023},
pages = {1--35},
year = {1990},
url = {https://d-nb.info/920791832},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselM89,
author = {J{\"{o}}rg Desel and
Agathe Merceron},
editor = {Grzegorz Rozenberg},
title = {Vicinity respecting net morphisms},
booktitle = {Advances in Petri Nets 1990 [10th International Conference on Applications
and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings]},
series = {Lecture Notes in Computer Science},
volume = {483},
pages = {165--185},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53863-1\_25},
doi = {10.1007/3-540-53863-1\_25},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeselM88,
author = {J{\"{o}}rg Desel and
Agathe Merceron},
editor = {Grzegorz Rozenberg},
title = {P/T-systems as abstractions of C/E-systems},
booktitle = {Advances in Petri Nets 1989, covers the 9th European Workshop on Applications
and Theory in Petri Nets, held in Venice, Italy in June 1988, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {424},
pages = {105--127},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-52494-0\_27},
doi = {10.1007/3-540-52494-0\_27},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeselM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-12 18:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
