Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.