Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eike Best
@book{DBLP:books/sp/BestD24,
author = {Eike Best and
Raymond R. Devillers},
title = {Petri Net Primer - {A} Compendium on the Core Model, Analysis, and
Synthesis},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-48278-6},
doi = {10.1007/978-3-031-48278-6},
isbn = {978-3-031-48277-9},
timestamp = {Mon, 04 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/BestD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BestDEW20,
author = {Eike Best and
Raymond R. Devillers and
Evgeny Erofeev and
Harro Wimmel},
title = {Target-oriented Petri Net Synthesis},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {97--122},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1949},
doi = {10.3233/FI-2020-1949},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BestDEW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestDE20,
author = {Eike Best and
Raymond R. Devillers and
Evgeny Erofeev},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {A New Property of Choice-Free Petri Net Systems},
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 = {89--108},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_5},
doi = {10.1007/978-3-030-51831-8\_5},
timestamp = {Tue, 30 Jun 2020 19:29:38 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestDS18,
author = {Eike Best and
Raymond R. Devillers and
Uli Schlachter},
title = {Bounded choice-free Petri net synthesis: algorithmic issues},
journal = {Acta Informatica},
volume = {55},
number = {7},
pages = {575--611},
year = {2018},
url = {https://doi.org/10.1007/s00236-017-0310-9},
doi = {10.1007/S00236-017-0310-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BestDSW18,
author = {Eike Best and
Raymond R. Devillers and
Uli Schlachter and
Harro Wimmel},
title = {Simultaneous Petri Net Synthesis},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {199--236},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&\#38;a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BestDSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AalstBP18,
author = {Wil M. P. van der Aalst and
Eike Best and
Wojciech Penczek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {161},
number = {4},
pages = {i--ii},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1705},
doi = {10.3233/FI-2018-1705},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AalstBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BestD18,
author = {Eike Best and
Raymond R. Devillers},
title = {Pre-synthesis of Petri nets based on prime cycles and distance paths},
journal = {Sci. Comput. Program.},
volume = {157},
pages = {41--55},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.07.005},
doi = {10.1016/J.SCICO.2017.07.005},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BestD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BestHW18,
author = {Eike Best and
Thomas Hujsa and
Harro Wimmel},
title = {Sufficient conditions for the marked graph realisability of labelled
transition systems},
journal = {Theor. Comput. Sci.},
volume = {750},
pages = {101--116},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2017.10.006},
doi = {10.1016/J.TCS.2017.10.006},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BestHW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestGV18,
author = {Eike Best and
Nataliya Gribovskaya and
Irina B. Virbitskaite},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {From Event-Oriented Models to Transition Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {117--139},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_7},
doi = {10.1007/978-3-319-91268-4\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BestD17,
author = {Eike Best and
Raymond R. Devillers},
title = {Characterisation of the state spaces of marked graph Petri nets},
journal = {Inf. Comput.},
volume = {253},
pages = {399--410},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.06.006},
doi = {10.1016/J.IC.2016.06.006},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BestD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BarylskaBSS17,
author = {Kamila Barylska and
Eike Best and
Uli Schlachter and
Valentin Spreckels},
title = {Properties of Plain, Pure, and Safe Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {12},
pages = {1--18},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55862-1\_1},
doi = {10.1007/978-3-662-55862-1\_1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BarylskaBSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BestGV17,
author = {Eike Best and
Nataliya S. Gribovskaya and
Irina B. Virbitskaite},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {Configuration- and Residual-Based Transition Systems for Event Structures
with Asymmetric Conflict},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {132--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_11},
doi = {10.1007/978-3-319-51963-0\_11},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BestGV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BestDS17,
author = {Eike Best and
Raymond R. Devillers and
Uli Schlachter},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {A Graph-Theoretical Characterisation of State Separation},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {163--175},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_13},
doi = {10.1007/978-3-319-51963-0\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BestDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2017,
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {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},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3},
doi = {10.1007/978-3-319-57861-3},
isbn = {978-3-319-57860-6},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VirbitskaiteBB16,
author = {Irina B. Virbitskaite and
Dmitriy Bushin and
Eike Best},
title = {True Concurrent Equivalences in Time Petri Nets},
journal = {Fundam. Informaticae},
volume = {149},
number = {4},
pages = {401--418},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1454},
doi = {10.3233/FI-2016-1454},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VirbitskaiteBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BestE16,
author = {Eike Best and
Javier Esparza},
title = {Existence of home states in Petri nets is decidable},
journal = {Inf. Process. Lett.},
volume = {116},
number = {6},
pages = {423--427},
year = {2016},
url = {https://doi.org/10.1016/j.ipl.2016.01.011},
doi = {10.1016/J.IPL.2016.01.011},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BestE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BarylskaBEMP16,
author = {Kamila Barylska and
Eike Best and
Evgeny Erofeev and
Lukasz Mikulski and
Marcin Piatkowski},
title = {Conditions for Petri Net Solvable Binary Words},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {11},
pages = {137--159},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53401-4\_7},
doi = {10.1007/978-3-662-53401-4\_7},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BarylskaBEMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestESW16,
author = {Eike Best and
Evgeny Erofeev and
Uli Schlachter and
Harro Wimmel},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {Characterising Petri Net Solvable Binary Words},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {39--58},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_4},
doi = {10.1007/978-3-319-39086-4\_4},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestESW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestD16,
author = {Eike Best and
Raymond R. Devillers},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {The Power of Prime Cycles},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {59--78},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_5},
doi = {10.1007/978-3-319-39086-4\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarylskaB16,
author = {Kamila Barylska and
Eike Best},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Properties of Plain, Pure, and Safe Petri Nets - with some Applications
to Petri Net Synthesis},
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 = {111--125},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1592/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/BarylskaB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BestW16,
author = {Eike Best and
Harro Wimmel},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have
Marked Graph Reachability Graphs},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {51--62},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_4},
doi = {10.1007/978-3-319-45994-3\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/BestW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestD15,
author = {Eike Best and
Raymond R. Devillers},
title = {Synthesis and reengineering of persistent systems},
journal = {Acta Informatica},
volume = {52},
number = {1},
pages = {35--60},
year = {2015},
url = {https://doi.org/10.1007/s00236-014-0209-7},
doi = {10.1007/S00236-014-0209-7},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestD15a,
author = {Eike Best and
Raymond R. Devillers},
title = {State space axioms for T-systems},
journal = {Acta Informatica},
volume = {52},
number = {2-3},
pages = {133--152},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0219-0},
doi = {10.1007/S00236-015-0219-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestD15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BestD15,
author = {Eike Best and
Raymond R. Devillers},
title = {Synthesis of Live and Bounded Persistent Systems},
journal = {Fundam. Informaticae},
volume = {140},
number = {1},
pages = {39--59},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1244},
doi = {10.3233/FI-2015-1244},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BestD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarylskaBEMP15,
author = {Kamila Barylska and
Eike Best and
Evgeny Erofeev and
Lukasz Mikulski and
Marcin Piatkowski},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {On Binary Words Being Petri Net Solvable},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data, {ATAED} 2015, 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 = {1371},
pages = {1--15},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1371/paper01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/BarylskaBEMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BestD15,
author = {Eike Best and
Raymond R. Devillers},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Synthesis of Bounded Choice-Free Petri Nets},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {128--141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.128},
doi = {10.4230/LIPICS.CONCUR.2015.128},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BestD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BestS15,
author = {Eike Best and
Uli Schlachter},
editor = {Sophia Knight and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Hugo Torres Vieira},
title = {Analysis of Petri Nets and Transition Systems},
booktitle = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
Grenoble, France, 4-5th June 2015},
series = {{EPTCS}},
volume = {189},
pages = {53--67},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.189.6},
doi = {10.4204/EPTCS.189.6},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/BestS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestD14,
author = {Eike Best and
Raymond R. Devillers},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Synthesis of Persistent Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {111--129},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_7},
doi = {10.1007/978-3-319-07734-5\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BestD14,
author = {Eike Best and
Raymond R. Devillers},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {Characterisation of the State Spaces of Live and Bounded Marked Graph
Petri Nets},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {161--172},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_13},
doi = {10.1007/978-3-319-04921-2\_13},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/BestD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BestW13,
author = {Eike Best and
Harro Wimmel},
title = {Structure Theory of Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {7},
pages = {162--224},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38143-0\_5},
doi = {10.1007/978-3-642-38143-0\_5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BestW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OshevskayaVB12,
author = {Elena S. Oshevskaya and
Irina B. Virbitskaite and
Eike Best},
title = {Unifying Equivalences for Higher Dimensional Automata},
journal = {Fundam. Informaticae},
volume = {119},
number = {3-4},
pages = {357--372},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-742},
doi = {10.3233/FI-2012-742},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/OshevskayaVB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/VirbitskaiteGB12,
author = {Irina B. Virbitskaite and
Natalya Gribovskaya and
Eike Best},
editor = {Andrei Voronkov},
title = {Unifying Equivalences for Timed Transition Systems},
booktitle = {Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25,
2012},
series = {EPiC Series in Computing},
volume = {10},
pages = {386--404},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/kkds},
doi = {10.29007/KKDS},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/VirbitskaiteGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/BestD12,
author = {Eike Best and
Philippe Darondeau},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Deciding Selective Declassification of Petri Nets},
booktitle = {Principles of Security and Trust - First International Conference,
{POST} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7215},
pages = {290--308},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28641-4\_16},
doi = {10.1007/978-3-642-28641-4\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/post/BestD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BestD11,
author = {Eike Best and
Philippe Darondeau},
title = {Separability in Persistent Petri Nets},
journal = {Fundam. Informaticae},
volume = {113},
number = {3-4},
pages = {179--203},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-606},
doi = {10.3233/FI-2011-606},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BestD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BestD11,
author = {Eike Best and
Philippe Darondeau},
editor = {Edmund M. Clarke and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Petri Net Distributability},
booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
1, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7162},
pages = {1--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29709-0\_1},
doi = {10.1007/978-3-642-29709-0\_1},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/BestD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VirbitskaiteGB10,
author = {Irina B. Virbitskaite and
Natalya Gribovskaya and
Eike Best},
title = {A Categorical View of Timed Behaviours},
journal = {Fundam. Informaticae},
volume = {102},
number = {1},
pages = {129--143},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-301},
doi = {10.3233/FI-2010-301},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VirbitskaiteGB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestD10,
author = {Eike Best and
Philippe Darondeau},
editor = {Johan Lilius and
Wojciech Penczek},
title = {Separability in Persistent Petri Nets},
booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {246--266},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7\_15},
doi = {10.1007/978-3-642-13675-7\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-5585,
author = {Eike Best and
Philippe Darondeau and
Roberto Gorrieri},
editor = {Konstantinos Chatzikokolakis and
V{\'{e}}ronique Cortier},
title = {On the Decidability of Non Interference over Unbounded Petri Nets},
booktitle = {Proceedings 8th International Workshop on Security Issues in Concurrency,
SecCo 2010, Paris, France, 30th August 2010},
series = {{EPTCS}},
volume = {51},
pages = {16--33},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.51.2},
doi = {10.4204/EPTCS.51.2},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-5585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestD09,
author = {Eike Best and
Philippe Darondeau},
title = {A decomposition theorem for finite persistent transition systems},
journal = {Acta Informatica},
volume = {46},
number = {3},
pages = {237--254},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0095-6},
doi = {10.1007/S00236-009-0095-6},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestD08,
author = {Eike Best and
Philippe Darondeau},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Decomposition Theorems for Bounded Persistent Petri Nets},
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 = {33--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_7},
doi = {10.1007/978-3-540-68746-7\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Best08,
author = {Eike Best},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {A Note on Persistent Petri Nets},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {427--438},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_26},
doi = {10.1007/978-3-540-68679-8\_26},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Best08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ista/BestR08,
author = {Eike Best and
Astrid Rakow},
editor = {Roland H. Kaschek and
Christian Kop and
Claudia Steinberger and
G{\"{u}}nther Fliedl},
title = {A Slicing Technique for Business Processes},
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 = {45--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78942-0\_6},
doi = {10.1007/978-3-540-78942-0\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ista/BestR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BestS09,
author = {Eike Best and
Kerstin Strecker},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Relational Semantics Revisited},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {27--47},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.072},
doi = {10.1016/J.ENTCS.2009.07.072},
timestamp = {Fri, 24 Feb 2023 11:47:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BestS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BestDW07,
author = {Eike Best and
Philippe Darondeau and
Harro Wimmel},
title = {Making Petri Nets Safe and Free of Internal Transitions},
journal = {Fundam. Informaticae},
volume = {80},
number = {1-3},
pages = {75--90},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BestDW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BestEWW06,
author = {Eike Best and
Javier Esparza and
Harro Wimmel and
Karsten Wolf},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {Separability in Conflict-Free Petri Nets},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {1--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_1},
doi = {10.1007/978-3-540-70881-0\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BestEWW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BestK03,
author = {Eike Best and
Maciej Koutny},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Process Algebra: {A} Petri-Net-Oriented Tutorial},
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 = {180--209},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_5},
doi = {10.1007/978-3-540-27755-2\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BestK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2003,
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1},
doi = {10.1007/3-540-44919-1},
isbn = {3-540-40334-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BestDK02,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
title = {The Box Algebra = Petri Nets + Process Expressions},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {44--100},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3117},
doi = {10.1006/INCO.2002.3117},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BestDK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0003970,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
title = {Petri net algebra},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-3-662-04457-5},
doi = {10.1007/978-3-662-04457-5},
isbn = {978-3-540-67398-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0003970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestDK01,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
title = {Recursion and Petri nets},
journal = {Acta Informatica},
volume = {37},
number = {11-12},
pages = {781--829},
year = {2001},
url = {https://doi.org/10.1007/PL00013309},
doi = {10.1007/PL00013309},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestDK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BestDK01,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {A Unified Model for Nets and Process Algebras},
booktitle = {Handbook of Process Algebra},
pages = {873--944},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50032-1},
doi = {10.1016/B978-044482830-9/50032-1},
timestamp = {Fri, 28 Jun 2019 09:45:11 +0200},
biburl = {https://dblp.org/rec/books/el/01/BestDK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestW00,
author = {Eike Best and
Harro Wimmel},
editor = {Mogens Nielsen and
Dan Simpson},
title = {Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets},
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 = {63--82},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44988-4\_6},
doi = {10.1007/3-540-44988-4\_6},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BestL99,
author = {Eike Best and
Alexander Lavrov},
title = {Generalised Composition Operations for High-level Petri Nets},
journal = {Fundam. Informaticae},
volume = {40},
number = {2-3},
pages = {125--163},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-402303},
doi = {10.3233/FI-1999-402303},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BestL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KoutnyB99,
author = {Maciej Koutny and
Eike Best},
title = {Operational and Denotational Semantics for the Box Algebra},
journal = {Theor. Comput. Sci.},
volume = {211},
number = {1-2},
pages = {1--83},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(97)00180-1},
doi = {10.1016/S0304-3975(97)00180-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KoutnyB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestDK99,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
editor = {Susanna Donatelli and
H. C. M. Kleijn},
title = {The Box Algebra - {A} Model of Nets and Process Expressions},
booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference,
{ICATPN} '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1639},
pages = {344--363},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48745-X\_21},
doi = {10.1007/3-540-48745-X\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestDK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BestL99,
author = {Eike Best and
Alexander Lavrov},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Weak and Strong Composition of High-Level Petri-Nets},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {194--209},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_15},
doi = {10.1007/3-540-48320-9\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BestL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestFHKP98,
author = {Eike Best and
Wojciech Fraczak and
Richard P. Hopkins and
Hanna Klaudel and
Elisabeth Pelz},
title = {M-Nets: An Algebra of High-Level Petri Nets, with an Application to
the Semantics of Concurrent Programming Languages},
journal = {Acta Informatica},
volume = {35},
number = {10},
pages = {813--857},
year = {1998},
url = {https://doi.org/10.1007/s002360050144},
doi = {10.1007/S002360050144},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestFHKP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestT97,
author = {Eike Best and
Thomas Thielke},
editor = {Pierre Az{\'{e}}ma and
Gianfranco Balbo},
title = {Orthogonal Transformations for Coloured Petri Nets},
booktitle = {Application and Theory of Petri Nets 1997, 18th International Conference,
{ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1248},
pages = {447--466},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63139-9\_50},
doi = {10.1007/3-540-63139-9\_50},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BestBP97,
author = {Eike Best and
Frank S. de Boer and
Catuscia Palamidessi},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Partial Order and {SOS} Semantics for Linear Constraint Programs},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {256--273},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_85},
doi = {10.1007/3-540-63383-9\_85},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BestBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BestT97,
author = {Eike Best and
Thomas Thielke},
editor = {Bogdan S. Chlebus and
Ludwik Czaja},
title = {Refinement of Coloured Petri Nets},
booktitle = {Fundamentals of Computation Theory, 11th International Symposium,
{FCT} '97, Krak{\'{o}}w, Poland, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1279},
pages = {105--116},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0036175},
doi = {10.1007/BFB0036175},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BestT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0084555,
author = {Eike Best},
title = {Semantics of sequential and parallel programs},
series = {Prentice Hall International series in computer science},
publisher = {Prentice Hall},
year = {1996},
isbn = {978-0-13-460643-9},
timestamp = {Wed, 27 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0084555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Best96,
author = {Eike Best},
title = {Some Major Dichotomies Relating to Future Research in Concurrency},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {40},
year = {1996},
url = {https://doi.org/10.1145/242224.242274},
doi = {10.1145/242224.242274},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Best96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BestDK96,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Petri Nets, Process Algebras and Concurrent Programming Languages},
booktitle = {Lectures on Petri Nets {II:} Applications, 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 = {1492},
pages = {1--84},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65307-4\_46},
doi = {10.1007/3-540-65307-4\_46},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BestDK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BestP96,
author = {Eike Best and
Catuscia Palamidessi},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Linear Constraint Systems as High-Level Nets},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {498--513},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_72},
doi = {10.1007/3-540-61604-7\_72},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BestP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Best96,
author = {Eike Best},
editor = {Doron A. Peled and
Vaughan R. Pratt and
Gerard J. Holzmann},
title = {Partial order verification with {PEP}},
booktitle = {Partial Order Methods in Verification, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, July 24-26, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {29},
pages = {305--328},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/029/17},
doi = {10.1090/DIMACS/029/17},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Best96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GrahlmannB96,
author = {Bernd Grahlmann and
Eike Best},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{PEP} - More than a Petri Net Tool},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {397--401},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_58},
doi = {10.1007/3-540-61042-1\_58},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GrahlmannB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0078233,
author = {Eike Best},
title = {Semantik - Theorie sequentieller und paralleler Programmierung},
series = {Lehrbuch Informatik},
publisher = {Vieweg},
year = {1995},
isbn = {978-3-528-05431-1},
timestamp = {Tue, 12 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0078233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestK95,
author = {Eike Best and
Maciej Koutny},
editor = {Giorgio De Michelis and
Michel Diaz},
title = {A Refined View of the Box Algebra},
booktitle = {Application and Theory of Petri Nets 1995, 16th International Conference,
Turin, Italy, June 26-30, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {935},
pages = {1--20},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60029-9\_29},
doi = {10.1007/3-540-60029-9\_29},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestFFHKP95,
author = {Eike Best and
Hans Fleischhack and
Wojciech Fraczak and
Richard P. Hopkins and
Hanna Klaudel and
Elisabeth Pelz},
editor = {Giorgio De Michelis and
Michel Diaz},
title = {A Class of Composable High Level Petri Nets with an Application to
the Semantics of B(PN)\({}^{\mbox{2}}\)},
booktitle = {Application and Theory of Petri Nets 1995, 16th International Conference,
Turin, Italy, June 26-30, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {935},
pages = {103--120},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60029-9\_36},
doi = {10.1007/3-540-60029-9\_36},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestFFHKP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccp2/BoerPB95,
author = {Frank S. de Boer and
Catuscia Palamidessi and
Eike Best},
editor = {Agostino Cortesi and
Philippe Codognet},
title = {Concurrent Constraint Programming with Information Removal},
booktitle = {First International Workshop on Concurrent Constraint Programming,
{CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995},
pages = {1:1--1:13},
publisher = {{INRIA} Rocquencourt},
year = {1995},
timestamp = {Tue, 18 Apr 2023 16:18:59 +0200},
biburl = {https://dblp.org/rec/conf/ccp2/BoerPB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BestK95,
author = {Eike Best and
Maciej Koutny},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Solving Recursive Net Equations},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {605--623},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_109},
doi = {10.1007/3-540-60084-1\_109},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BestK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/strict/BestDPR0T95,
author = {Eike Best and
Raymond R. Devillers and
Elisabeth Pelz and
Arend Rensink and
Manuel Silva and
Enrique Teruel},
editor = {J{\"{o}}rg Desel},
title = {{CALIBAN} - Esprit Basic Research {WG} 6067},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
pages = {2--31},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9\_2},
doi = {10.1007/978-1-4471-3078-9\_2},
timestamp = {Tue, 25 Jun 2019 18:06:54 +0200},
biburl = {https://dblp.org/rec/conf/strict/BestDPR0T95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/strict/BestFFHKP95,
author = {Eike Best and
Hans Fleischhack and
Wojciech Fraczak and
Richard P. Hopkins and
Hanna Klaudel and
Elisabeth Pelz},
editor = {J{\"{o}}rg Desel},
title = {An M-net Semantics of {B(PN)2}},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
pages = {85--100},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9\_6},
doi = {10.1007/978-1-4471-3078-9\_6},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/strict/BestFFHKP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BestK95,
author = {Eike Best and
Maciej Koutny},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Using net refinement to compute the fixpoint of a recursive},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {27--28},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80177-X},
doi = {10.1016/S1571-0661(05)80177-X},
timestamp = {Fri, 11 Nov 2022 13:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BestK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KoutnyEB94,
author = {Maciej Koutny and
Javier Esparza and
Eike Best},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Operational Semantics for the Petri Box Calculus},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {210--225},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_19},
doi = {10.1007/978-3-540-48654-1\_19},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/KoutnyEB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Best94,
author = {Eike Best},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A Memory Module Specification Using Composable High-Level Petri Nets},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {109--159},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024428},
doi = {10.1007/BFB0024428},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Best94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BestL93,
author = {Eike Best and
Hans{-}G{\"{u}}nther Linde{-}G{\"{o}}ers},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Compositional Process Semantics of Petri Boxes},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {250--270},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_12},
doi = {10.1007/3-540-58027-1\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BestL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BestH93,
author = {Eike Best and
Richard P. Hopkins},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {B(PN)\({}^{\mbox{2}}\) - a Basic Petri Net Programming Notation},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {379--390},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_30},
doi = {10.1007/3-540-56891-3\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/BestH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BestDE93,
author = {Eike Best and
Raymond R. Devillers and
Javier Esparza},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {General Refinement and Recursion Operators for the Petri Box Calculus},
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 = {130--140},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_16},
doi = {10.1007/3-540-56503-5\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BestDE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1993,
editor = {Eike Best},
title = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2},
doi = {10.1007/3-540-57208-2},
isbn = {3-540-57208-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1993.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/jsa/Best92,
author = {Eike Best},
title = {Results of the esprit basic research action 3148 demon (design methods
based on nets)},
journal = {Microprocess. Microprogramming},
volume = {35},
number = {1-5},
pages = {23--27},
year = {1992},
url = {https://doi.org/10.1016/0165-6074(92)90289-J},
doi = {10.1016/0165-6074(92)90289-J},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/Best92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BestK92,
author = {Eike Best and
Maciej Koutny},
title = {Petri Net Semantics of Priority Systems},
journal = {Theor. Comput. Sci.},
volume = {96},
number = {1},
pages = {175--174},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90184-H},
doi = {10.1016/0304-3975(92)90184-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BestK92.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}
}
@incollection{DBLP:conf/apn/Best92,
author = {Eike Best},
editor = {Grzegorz Rozenberg},
title = {Esprit Basic Research Action 3148 {DEMON} (design methods based on
nets)},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {1--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_166},
doi = {10.1007/3-540-55610-9\_166},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Best92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/BestDH92,
author = {Eike Best and
Raymond R. Devillers and
Jon G. Hall},
editor = {Grzegorz Rozenberg},
title = {The box calculus: a new causal algebra with multi-label communication},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {21--69},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_167},
doi = {10.1007/3-540-55610-9\_167},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestDH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestDKP91,
author = {Eike Best and
Raymond R. Devillers and
Astrid Kiehn and
Lucia Pomello},
title = {Concurrent Bisimulations in Petri Nets},
journal = {Acta Informatica},
volume = {28},
number = {3},
pages = {231--264},
year = {1991},
url = {https://doi.org/10.1007/BF01178506},
doi = {10.1007/BF01178506},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestDKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BestE91,
author = {Eike Best and
Javier Esparza},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Model Checking of Persistent Petri Nets},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {35--52},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023756},
doi = {10.1007/BFB0023756},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BestE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Best91,
author = {Eike Best},
title = {Overview of the Results of the Esprit Basic Research Action {DEMON}
- Design Methods Based on Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {224--235},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238797},
doi = {10.1109/PNPM.1991.238797},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Best91.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 = {Tue, 14 May 2019 10:00:48 +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/concur/Best90,
author = {Eike Best},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Partial Order Semantics of Concurrent Programs (Abstract)},
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 = {1},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039046},
doi = {10.1007/BFB0039046},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Best90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BestL89,
author = {Eike Best and
Christian Lengauer},
title = {Semantic Independence},
journal = {Sci. Comput. Program.},
volume = {13},
number = {1},
pages = {23--50},
year = {1989},
url = {https://doi.org/10.1016/0167-6423(89)90014-2},
doi = {10.1016/0167-6423(89)90014-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BestL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0069959,
author = {Eike Best},
title = {Kausale Semantik nichtsequentieller Programme},
school = {Universit{\"{a}}t Bonn},
year = {1988},
timestamp = {Fri, 06 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0069959.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/BestF88,
author = {Eike Best and
C{\'{e}}sar Fern{\'{a}}ndez},
title = {Nonsequential Processes - {A} Petri Net View},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {13},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-73483-0},
doi = {10.1007/978-3-642-73483-0},
isbn = {978-3-642-73485-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BestF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Best88,
author = {Eike Best},
editor = {Grzegorz Rozenberg},
title = {Design Methods Based on Nets, Esprit Basic Research Action {DEMON}},
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 = {487--506},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-52494-0\_43},
doi = {10.1007/3-540-52494-0\_43},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/Best88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Best88,
author = {Eike Best},
editor = {Friedrich H. Vogt},
title = {Weighted Basic Petri Nets},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {257--276},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_44},
doi = {10.1007/3-540-50403-6\_44},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/Best88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BestD87,
author = {Eike Best and
Raymond R. Devillers},
title = {Sequential and Concurrent Behaviour in Petri Net Theory},
journal = {Theor. Comput. Sci.},
volume = {55},
number = {1},
pages = {87--136},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90090-9},
doi = {10.1016/0304-3975(87)90090-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BestD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BestD87,
author = {Eike Best and
Raymond R. Devillers},
editor = {Martin Wirsing},
title = {Interleaving and partial orders in concurrency: a formal comparison},
booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
pages = {299--324},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 10 Jan 2019 14:37:08 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/BestD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Best86a,
author = {Eike Best},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Structure Theory of Petri Nets: the Free Choice Hiatus},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {168--205},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046840},
doi = {10.1007/BFB0046840},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Best86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Best86,
author = {Eike Best},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {{COSY:} Its Relation to Nets and {CSP}},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {255},
pages = {416--440},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17906-2\_33},
doi = {10.1007/3-540-17906-2\_33},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Best86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BestC85,
author = {Eike Best and
Flaviu Cristian},
title = {Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability
of Self-Checking Programs"},
journal = {{IEEE} Trans. Computers},
volume = {34},
number = {1},
pages = {97--98},
year = {1985},
url = {https://doi.org/10.1109/TC.1985.1676522},
doi = {10.1109/TC.1985.1676522},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BestC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestV84,
author = {Eike Best and
Klaus Voss},
title = {Free Choice Systems Have Home States},
journal = {Acta Informatica},
volume = {21},
pages = {89--100},
year = {1984},
url = {https://doi.org/10.1007/BF00289141},
doi = {10.1007/BF00289141},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Best84,
author = {Eike Best},
title = {Fairness and Conspiracies},
journal = {Inf. Process. Lett.},
volume = {18},
number = {4},
pages = {215--220},
year = {1984},
url = {https://doi.org/10.1016/0020-0190(84)90114-5},
doi = {10.1016/0020-0190(84)90114-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Best84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestM84,
author = {Eike Best and
Agathe Merceron},
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {Concurrency axioms and D-continuous posets},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
pages = {32--47},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15204-0\_3},
doi = {10.1007/3-540-15204-0\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestM84a,
author = {Eike Best and
Agathe Merceron},
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {Frozen tokens and D-continuity: {A} study in relating system properties
to process properties},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
pages = {48--61},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15204-0\_4},
doi = {10.1007/3-540-15204-0\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestM84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Best84,
author = {Eike Best},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Concurrent Behaviour: Sequences, Processes and Axioms},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {221--245},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_11},
doi = {10.1007/3-540-15670-4\_11},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/Best84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icftcs/Best84,
author = {Eike Best},
editor = {Fevzi Belli and
Silvia Pfleger and
Manfred H. Seifert},
title = {Formale Methoden zur Erstellung robuster Software},
booktitle = {Software-Fehlertoleranz und -Zuverl{\"{a}}ssigkeit},
series = {Informatik-Fachberichte},
volume = {83},
pages = {1--9},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-69705-0\_1},
doi = {10.1007/978-3-642-69705-0\_1},
timestamp = {Wed, 17 May 2017 14:24:33 +0200},
biburl = {https://dblp.org/rec/conf/icftcs/Best84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BestS83,
author = {Eike Best and
M. W. Shields},
editor = {Giorgio Ausiello and
Marco Protasi},
title = {Some Equivalence Results for Free Choice Nets and Simple Nets and
on the Periodicity of Live Free Choice Nets},
booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
Italy, March 9-11, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {159},
pages = {141--154},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12727-5\_7},
doi = {10.1007/3-540-12727-5\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BestS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/BestM83,
author = {Eike Best and
Agathe Merceron},
editor = {Armin B. Cremers and
Hans{-}Peter Kriegel},
title = {Discreteness, k-density and d-continuity of occurrence nets},
booktitle = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany,
January 5-7, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {145},
pages = {73--83},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0009634},
doi = {10.1007/BFB0009634},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/tcs/BestM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Best82,
author = {Eike Best},
title = {Adequacy Properties of Path Programs},
journal = {Theor. Comput. Sci.},
volume = {18},
pages = {149--171},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(82)90020-2},
doi = {10.1016/0304-3975(82)90020-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Best82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Best82,
author = {Eike Best},
editor = {Dines Bj{\o}rner},
title = {Relational Semantics of Concurrent Programs (With Some Applications)},
booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts-
II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
pages = {431--452},
publisher = {North-Holland},
year = {1982},
timestamp = {Tue, 15 Jan 2019 18:15:42 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Best82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestR81,
author = {Eike Best and
Brian Randell},
title = {A Formal Model of Atomicity in Asynchronous Systems},
journal = {Acta Informatica},
volume = {16},
pages = {93--124},
year = {1981},
url = {https://doi.org/10.1007/BF00289593},
doi = {10.1007/BF00289593},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BestC81,
author = {Eike Best and
Flaviu Cristian},
title = {Systematic Detection of Exception Occurrences},
journal = {Sci. Comput. Program.},
volume = {1},
number = {1-2},
pages = {115--144},
year = {1981},
url = {https://doi.org/10.1016/0167-6423(81)90007-1},
doi = {10.1016/0167-6423(81)90007-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BestC81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Best81,
author = {Eike Best},
editor = {Claude Girault and
Wolfgang Reisig},
title = {Overview on Topic 3: Information Flow and Concurrency},
booktitle = {Application and Theory of Petri Nets, Selected Papers from the First
and the Second European Workshop on Application and Theory of Petri
Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany,
28.-30. September 1981},
series = {Informatik-Fachberichte},
volume = {52},
pages = {72--73},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68353-4\_12},
doi = {10.1007/978-3-642-68353-4\_12},
timestamp = {Tue, 19 Jun 2018 18:32:05 +0200},
biburl = {https://dblp.org/rec/conf/apn/Best81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Best81a,
author = {Eike Best},
editor = {Claude Girault and
Wolfgang Reisig},
title = {Information Flow in Nets},
booktitle = {Application and Theory of Petri Nets, Selected Papers from the First
and the Second European Workshop on Application and Theory of Petri
Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany,
28.-30. September 1981},
series = {Informatik-Fachberichte},
volume = {52},
pages = {82--87},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68353-4\_14},
doi = {10.1007/978-3-642-68353-4\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Best81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Best80,
author = {Eike Best},
title = {A theorem on the characteristics of nonsequential processes},
journal = {Fundam. Informaticae},
volume = {3},
number = {1},
pages = {77--94},
year = {1980},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Best80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Best80,
author = {Eike Best},
editor = {Piotr Dembinski},
title = {Proof of a Concurrent Program Finding Euler Paths},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
series = {Lecture Notes in Computer Science},
volume = {88},
pages = {142--153},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/BFb0022501},
doi = {10.1007/BFB0022501},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Best80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Best79,
author = {Eike Best},
title = {A Note on the Proof of a Concurrent Program},
journal = {Inf. Process. Lett.},
volume = {9},
number = {3},
pages = {103--104},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90047-4},
doi = {10.1016/0020-0190(79)90047-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Best79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Best75,
author = {Eike Best},
editor = {Wilfried Brauer},
title = {Atomicity of Activities},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, Hamburg, Germany, October
8-19, 1979},
series = {Lecture Notes in Computer Science},
volume = {84},
pages = {225--250},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10001-6\_25},
doi = {10.1007/3-540-10001-6\_25},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/Best75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Best75a,
author = {Eike Best},
editor = {Wilfried Brauer},
title = {The Relative Strength of K-Density},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, Hamburg, Germany, October
8-19, 1979},
series = {Lecture Notes in Computer Science},
volume = {84},
pages = {261--276},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10001-6\_27},
doi = {10.1007/3-540-10001-6\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Best75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Best75b,
author = {Eike Best},
editor = {Wilfried Brauer},
title = {Adequacy of Path Programs},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, Hamburg, Germany, October
8-19, 1979},
series = {Lecture Notes in Computer Science},
volume = {84},
pages = {291--305},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10001-6\_29},
doi = {10.1007/3-540-10001-6\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Best75b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/LauerSB79,
author = {Peter E. Lauer and
M. W. Shields and
Eike Best},
editor = {Dines Bj{\o}rner},
title = {Design {\&} Analysis of Highly Parallel {\&} Distributed Systems},
booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January
22 - February 2, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {86},
pages = {451--503},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10007-5\_46},
doi = {10.1007/3-540-10007-5\_46},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/LauerSB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/LauerBS77,
author = {Peter E. Lauer and
Eike Best and
Michael W. Shields},
editor = {Erich J. Neuhold},
title = {On the Problem of Achieving Adequacy of Concurrent Programs},
booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts,
St. Andrews, NB, Canada, August 1-5, 1977},
pages = {301--336},
publisher = {North-Holland},
year = {1977},
timestamp = {Mon, 21 Jan 2019 18:41:33 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/LauerBS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BestS75,
author = {Eike Best and
Hans Albrecht Schmid},
editor = {J{\"{o}}rg R. M{\"{u}}hlbacher},
title = {Martierte Petrinetze und Sigma-Teilsysteme},
booktitle = {{GI} - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975},
series = {Lecture Notes in Computer Science},
volume = {34},
pages = {151--161},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07410-4\_627},
doi = {10.1007/3-540-07410-4\_627},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/gi/BestS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BestS75,
author = {Eike Best and
Hans Albrecht Schmid},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Systems of Open Paths in Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
September 1-5, 1975, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {32},
pages = {186--193},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07389-2\_194},
doi = {10.1007/3-540-07389-2\_194},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BestS75.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-03-06 10:29 CET 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:
