% csauthors.net - beta - BibTeX bibliography of Eike Best
@inproceedings{conf/gi/BestS75,
title = {Martierte Petrinetze und Sigma-Teilsysteme.},
year = {1975},
booktitle = {GI Jahrestagung},
author = {{Eike Best} and {Hans Albrecht Schmid}},
publisher = {Springer},
booktitle = {GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975}
}
@inproceedings{conf/mfcs/BestS75,
title = {Systems of Open Paths in Petri Nets.},
year = {1975},
booktitle = {MFCS},
author = {{Eike Best} and {Hans Albrecht Schmid}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium, Mariánské Lázne, Czechoslovakia, September 1-5, 1975, Proceedings}
}
@inproceedings{conf/ifip2/LauerBS77,
title = {On the Problem of Achieving Adequacy of Concurrent Programs.},
year = {1977},
booktitle = {Formal Description of Programming Concepts},
author = {{Peter E. Lauer} and {Eike Best} and {Michael W. Shields}},
publisher = {North-Holland},
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}
}
@inproceedings{conf/ac/Best75,
title = {Atomicity of Activities.},
year = {1979},
booktitle = {Advanced Course: Net Theory and Applications},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979}
}
@inproceedings{conf/ac/Best75a,
title = {The Relative Strength of K-Density.},
year = {1979},
booktitle = {Advanced Course: Net Theory and Applications},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979}
}
@inproceedings{conf/ac/Best75b,
title = {Adequacy of Path Programs.},
year = {1979},
booktitle = {Advanced Course: Net Theory and Applications},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979}
}
@inproceedings{conf/ac/LauerSB79,
title = {Design & Analysis of Highly Parallel & Distributed Systems.},
year = {1979},
booktitle = {Abstract Software Specifications},
author = {{Peter E. Lauer} and {M. W. Shields} and {Eike Best}},
publisher = {Springer},
booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings}
}
@article{journals/ipl/Best79,
title = {A Note on the Proof of a Concurrent Program.},
year = {1979},
journal = {Inf. Process. Lett.},
author = {{Eike Best}}
}
@inproceedings{conf/mfcs/Best80,
title = {Proof of a Concurrent Program Finding Euler Paths.},
year = {1980},
booktitle = {MFCS},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980}
}
@article{journals/fuin/Best80,
title = {A theorem on the characteristics of nonsequential processes.},
year = {1980},
journal = {Fundam. Informaticae},
author = {{Eike Best}}
}
@inproceedings{conf/apn/Best81,
title = {Overview on Topic 3: Information Flow and Concurrency.},
year = {1981},
booktitle = {Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets},
author = {{Eike Best}},
publisher = {Springer},
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}
}
@inproceedings{conf/apn/Best81a,
title = {Information Flow in Nets.},
year = {1981},
booktitle = {Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets},
author = {{Eike Best}},
publisher = {Springer},
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}
}
@article{journals/acta/BestR81,
title = {A Formal Model of Atomicity in Asynchronous Systems.},
year = {1981},
journal = {Acta Informatica},
author = {{Eike Best} and {Brian Randell}}
}
@article{journals/scp/BestC81,
title = {Systematic Detection of Exception Occurrences.},
year = {1981},
journal = {Sci. Comput. Program.},
author = {{Eike Best} and {Flaviu Cristian}}
}
@inproceedings{conf/ifip2/Best82,
title = {Relational Semantics of Concurrent Programs (With Some Applications).},
year = {1982},
booktitle = {Formal Description of Programming Concepts},
author = {{Eike Best}},
publisher = {North-Holland},
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}
}
@article{journals/tcs/Best82,
title = {Adequacy Properties of Path Programs.},
year = {1982},
journal = {Theor. Comput. Sci.},
author = {{Eike Best}}
}
@inproceedings{conf/caap/BestS83,
title = {Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets.},
year = {1983},
booktitle = {CAAP},
author = {{Eike Best} and {M. W. Shields}},
publisher = {Springer},
booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings}
}
@inproceedings{conf/tcs/BestM83,
title = {Discreteness, k-density and d-continuity of occurrence nets.},
year = {1983},
booktitle = {Theoretical Computer Science},
author = {{Eike Best} and {Agathe Merceron}},
publisher = {Springer},
booktitle = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings}
}
@inproceedings{conf/apn/BestM84,
title = {Concurrency axioms and D-continuous posets.},
year = {1984},
booktitle = {European Workshop on Applications and Theory in Petri Nets},
author = {{Eike Best} and {Agathe Merceron}},
publisher = {Springer},
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}
}
@inproceedings{conf/apn/BestM84a,
title = {Frozen tokens and D-continuity: A study in relating system properties to process properties.},
year = {1984},
booktitle = {European Workshop on Applications and Theory in Petri Nets},
author = {{Eike Best} and {Agathe Merceron}},
publisher = {Springer},
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}
}
@inproceedings{conf/concur/Best84,
title = {Concurrent Behaviour: Sequences, Processes and Axioms.},
year = {1984},
booktitle = {Seminar on Concurrency},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984}
}
@inproceedings{conf/icftcs/Best84,
title = {Formale Methoden zur Erstellung robuster Software.},
year = {1984},
booktitle = {Software-Fehlertoleranz und -Zuverlässigkeit},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Software-Fehlertoleranz und -Zuverlässigkeit}
}
@article{journals/acta/BestV84,
title = {Free Choice Systems Have Home States.},
year = {1984},
journal = {Acta Informatica},
author = {{Eike Best} and {Klaus Voss}}
}
@article{journals/ipl/Best84,
title = {Fairness and Conspiracies.},
year = {1984},
journal = {Inf. Process. Lett.},
author = {{Eike Best}}
}
@article{journals/tc/BestC85,
title = {Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs".},
year = {1985},
journal = {IEEE Trans. Computers},
author = {{Eike Best} and {Flaviu Cristian}}
}
@inproceedings{conf/ac/Best86,
title = {COSY: Its Relation to Nets and CSP.},
year = {1986},
booktitle = {Advances in Petri Nets},
author = {{Eike Best}},
publisher = {Springer},
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}
}
@inproceedings{conf/ac/Best86a,
title = {Structure Theory of Petri Nets: the Free Choice Hiatus.},
year = {1986},
booktitle = {Advances in Petri Nets},
author = {{Eike Best}},
publisher = {Springer},
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}
}
@inproceedings{conf/ifip2/BestD87,
title = {Interleaving and partial orders in concurrency: a formal comparison.},
year = {1987},
booktitle = {Formal Description of Programming Concepts},
author = {{Eike Best} and {Raymond R. Devillers}},
publisher = {North-Holland},
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}
}
@article{journals/tcs/BestD87,
title = {Sequential and Concurrent Behaviour in Petri Net Theory.},
year = {1987},
journal = {Theor. Comput. Sci.},
author = {{Eike Best} and {Raymond R. Devillers}}
}
@phdthesis{books/daglib/0069959,
title = {Kausale Semantik nichtsequentieller Programme.},
year = {1988},
author = {{Eike Best}}
}
@inproceedings{conf/apn/Best88,
title = {Design Methods Based on Nets, Esprit Basic Research Action DEMON.},
year = {1988},
booktitle = {European Workshop on Applications and Theory in Petri Nets},
author = {{Eike Best}},
publisher = {Springer},
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}
}
@inproceedings{conf/concur/Best88,
title = {Weighted Basic Petri Nets.},
year = {1988},
booktitle = {Concurrency},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings}
}
@book{series/eatcs/BestF88,
title = {Nonsequential Processes - A Petri Net View},
year = {1988},
isbn = {978-3-642-73483-0},
publisher = {Springer},
series = {EATCS Monographs on Theoretical Computer Science},
author = {{Eike Best} and {César Fernández}}
}
@article{journals/scp/BestL89,
title = {Semantic Independence.},
year = {1989},
journal = {Sci. Comput. Program.},
author = {{Eike Best} and {Christian Lengauer}}
}
@inproceedings{conf/concur/Best90,
title = {Partial Order Semantics of Concurrent Programs (Abstract).},
year = {1990},
booktitle = {CONCUR},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings}
}
@article{journals/fac/BestD90,
title = {Partial Order Behaviour and Structure of Petri Nets.},
year = {1990},
journal = {Formal Aspects Comput.},
author = {{Eike Best} and {Jörg Desel}}
}
@inproceedings{conf/csl/BestE91,
title = {Model Checking of Persistent Petri Nets.},
year = {1991},
booktitle = {CSL},
author = {{Eike Best} and {Javier Esparza}},
publisher = {Springer},
booktitle = {Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings}
}
@inproceedings{conf/pnpm/Best91,
title = {Overview of the Results of the Esprit Basic Research Action DEMON - Design Methods Based on Nets.},
year = {1991},
booktitle = {PNPM},
author = {{Eike Best}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, PNPM 1991, Melbourne, Victoria, Australia, December 2-5, 1991}
}
@inproceedings{conf/stacs/BestCD91,
title = {Compositional Generation of Home States in Free Choice Systems.},
year = {1991},
booktitle = {STACS},
author = {{Eike Best} and {Ludmila Cherkasova} and {Jörg Desel}},
publisher = {Springer},
booktitle = {STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings}
}
@article{journals/acta/BestDKP91,
title = {Concurrent Bisimulations in Petri Nets.},
year = {1991},
journal = {Acta Informatica},
author = {{Eike Best} and {Raymond R. Devillers} and {Astrid Kiehn} and {Lucia Pomello}}
}
@incollection{conf/apn/Best92,
title = {Esprit Basic Research Action 3148 DEMON (design methods based on nets).},
year = {1992},
booktitle = {Advances in Petri Nets: The DEMON Project},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Advances in Petri Nets 1992, The DEMON Project}
}
@incollection{conf/apn/BestDH92,
title = {The box calculus: a new causal algebra with multi-label communication.},
year = {1992},
booktitle = {Advances in Petri Nets: The DEMON Project},
author = {{Eike Best} and {Raymond R. Devillers} and {Jon G. Hall}},
publisher = {Springer},
booktitle = {Advances in Petri Nets 1992, The DEMON Project}
}
@article{journals/fac/BestCD92,
title = {Compositional Generation of Home States in Free Choice Nets.},
year = {1992},
journal = {Formal Aspects Comput.},
author = {{Eike Best} and {Ludmila Cherkasova} and {Jörg Desel}}
}
@article{journals/jsa/Best92,
title = {Results of the esprit basic research action 3148 demon (design methods based on nets).},
year = {1992},
journal = {Microprocess. Microprogramming},
author = {{Eike Best}}
}
@article{journals/tcs/BestDE92,
title = {Traps Characterize Home States in Free Choice Systems.},
year = {1992},
journal = {Theor. Comput. Sci.},
author = {{Eike Best} and {Jörg Desel} and {Javier Esparza}}
}
@article{journals/tcs/BestK92,
title = {Petri Net Semantics of Priority Systems.},
year = {1992},
journal = {Theor. Comput. Sci.},
author = {{Eike Best} and {Maciej Koutny}}
}
@inproceedings{conf/mfps/BestL93,
title = {Compositional Process Semantics of Petri Boxes.},
year = {1993},
booktitle = {MFPS},
author = {{Eike Best} and {Hans-Günther Linde-Göers}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings}
}
@inproceedings{conf/parle/BestH93,
title = {B(PN)2 - a Basic Petri Net Programming Notation.},
year = {1993},
booktitle = {PARLE},
author = {{Eike Best} and {Richard P. Hopkins}},
publisher = {Springer},
booktitle = {PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings}
}
@inproceedings{conf/stacs/BestDE93,
title = {General Refinement and Recursion Operators for the Petri Box Calculus.},
year = {1993},
booktitle = {STACS},
author = {{Eike Best} and {Raymond R. Devillers} and {Javier Esparza}},
publisher = {Springer},
booktitle = {STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings}
}
@inproceedings{conf/concur/KoutnyEB94,
title = {Operational Semantics for the Petri Box Calculus.},
year = {1994},
booktitle = {CONCUR},
author = {{Maciej Koutny} and {Javier Esparza} and {Eike Best}},
publisher = {Springer},
booktitle = {CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}
}
@inproceedings{conf/dagstuhl/Best94,
title = {A Memory Module Specification Using Composable High-Level Petri Nets.},
year = {1994},
booktitle = {Formal Systems Specification},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)}
}
@book{books/daglib/0078233,
title = {Semantik - Theorie sequentieller und paralleler Programmierung.},
year = {1995},
isbn = {978-3-528-05431-1},
publisher = {Vieweg},
series = {Lehrbuch Informatik},
author = {{Eike Best}}
}
@inproceedings{conf/apn/BestFFHKP95,
title = {A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2.},
year = {1995},
booktitle = {Application and Theory of Petri Nets},
author = {{Eike Best} and {Hans Fleischhack} and {Wojciech Fraczak} and {Richard P. Hopkins} and {Hanna Klaudel} and {Elisabeth Pelz}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings}
}
@inproceedings{conf/apn/BestK95,
title = {A Refined View of the Box Algebra.},
year = {1995},
booktitle = {Application and Theory of Petri Nets},
author = {{Eike Best} and {Maciej Koutny}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings}
}
@inproceedings{conf/ccp2/BoerPB95,
title = {Concurrent Constraint Programming with Information Removal.},
year = {1995},
booktitle = {CCP},
author = {{Frank S. de Boer} and {Catuscia Palamidessi} and {Eike Best}},
publisher = {INRIA Rocquencourt},
booktitle = {First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995.}
}
@inproceedings{conf/icalp/BestK95,
title = {Solving Recursive Net Equations.},
year = {1995},
booktitle = {ICALP},
author = {{Eike Best} and {Maciej Koutny}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings}
}
@inproceedings{conf/strict/BestDPR0T95,
title = {CALIBAN - Esprit Basic Research WG 6067.},
year = {1995},
booktitle = {STRICT},
author = {{Eike Best} and {Raymond R. Devillers} and {Elisabeth Pelz} and {Arend Rensink} and {Manuel Silva 001} and {Enrique Teruel}},
publisher = {Springer},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995}
}
@inproceedings{conf/strict/BestFFHKP95,
title = {An M-net Semantics of B(PN)2.},
year = {1995},
booktitle = {STRICT},
author = {{Eike Best} and {Hans Fleischhack} and {Wojciech Fraczak} and {Richard P. Hopkins} and {Hanna Klaudel} and {Elisabeth Pelz}},
publisher = {Springer},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995}
}
@inproceedings{journals/entcs/BestK95,
title = {Using net refinement to compute the fixpoint of a recursive.},
year = {1995},
booktitle = {SEGRAGRA},
author = {{Eike Best} and {Maciej Koutny}},
publisher = {Elsevier},
booktitle = {Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995}
}
@book{books/daglib/0084555,
title = {Semantics of sequential and parallel programs.},
year = {1996},
isbn = {978-0-13-460643-9},
publisher = {Prentice Hall},
series = {Prentice Hall International series in computer science},
author = {{Eike Best}}
}
@inproceedings{conf/ac/BestDK96,
title = {Petri Nets, Process Algebras and Concurrent Programming Languages.},
year = {1996},
booktitle = {Petri Nets (2)},
author = {{Eike Best} and {Raymond R. Devillers} and {Maciej Koutny}},
publisher = {Springer},
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}
}
@inproceedings{conf/concur/BestP96,
title = {Linear Constraint Systems as High-Level Nets.},
year = {1996},
booktitle = {CONCUR},
author = {{Eike Best} and {Catuscia Palamidessi}},
publisher = {Springer},
booktitle = {CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings}
}
@inproceedings{conf/dimacs/Best96,
title = {Partial order verification with PEP.},
year = {1996},
booktitle = {Partial Order Methods in Verification},
author = {{Eike Best}},
publisher = {DIMACS/AMS},
booktitle = {Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996}
}
@inproceedings{conf/tacas/GrahlmannB96,
title = {PEP - More than a Petri Net Tool.},
year = {1996},
booktitle = {TACAS},
author = {{Bernd Grahlmann} and {Eike Best}},
publisher = {Springer},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings}
}
@article{journals/csur/Best96,
title = {Some Major Dichotomies Relating to Future Research in Concurrency.},
year = {1996},
journal = {ACM Comput. Surv.},
author = {{Eike Best}}
}
@inproceedings{conf/apn/BestT97,
title = {Orthogonal Transformations for Coloured Petri Nets.},
year = {1997},
booktitle = {ICATPN},
author = {{Eike Best} and {Thomas Thielke}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings}
}
@inproceedings{conf/coordination/BestBP97,
title = {Partial Order and SOS Semantics for Linear Constraint Programs.},
year = {1997},
booktitle = {COORDINATION},
author = {{Eike Best} and {Frank S. de Boer} and {Catuscia Palamidessi}},
publisher = {Springer},
booktitle = {Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings}
}
@inproceedings{conf/fct/BestT97,
title = {Refinement of Coloured Petri Nets.},
year = {1997},
booktitle = {FCT},
author = {{Eike Best} and {Thomas Thielke}},
publisher = {Springer},
booktitle = {Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings}
}
@article{journals/acta/BestFHKP98,
title = {M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.},
year = {1998},
journal = {Acta Informatica},
author = {{Eike Best} and {Wojciech Fraczak} and {Richard P. Hopkins} and {Hanna Klaudel} and {Elisabeth Pelz}}
}
@inproceedings{conf/apn/BestDK99,
title = {The Box Algebra - A Model of Nets and Process Expressions.},
year = {1999},
booktitle = {ICATPN},
author = {{Eike Best} and {Raymond R. Devillers} and {Maciej Koutny}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings}
}
@inproceedings{conf/concur/BestL99,
title = {Weak and Strong Composition of High-Level Petri-Nets.},
year = {1999},
booktitle = {CONCUR},
author = {{Eike Best} and {Alexander Lavrov}},
publisher = {Springer},
booktitle = {CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings}
}
@article{journals/fuin/BestL99,
title = {Generalised Composition Operations for High-level Petri Nets.},
year = {1999},
journal = {Fundam. Informaticae},
author = {{Eike Best} and {Alexander Lavrov}}
}
@article{journals/tcs/KoutnyB99,
title = {Operational and Denotational Semantics for the Box Algebra.},
year = {1999},
journal = {Theor. Comput. Sci.},
author = {{Maciej Koutny} and {Eike Best}}
}
@inproceedings{conf/apn/BestW00,
title = {Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets.},
year = {2000},
booktitle = {ICATPN},
author = {{Eike Best} and {Harro Wimmel}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding}
}
@book{books/daglib/0003970,
title = {Petri net algebra.},
year = {2001},
isbn = {978-3-662-04457-5},
publisher = {Springer},
series = {Monographs in Theoretical Computer Science. An EATCS Series},
author = {{Eike Best} and {Raymond R. Devillers} and {Maciej Koutny}}
}
@incollection{books/el/01/BestDK01,
title = {A Unified Model for Nets and Process Algebras.},
year = {2001},
booktitle = {Handbook of Process Algebra},
author = {{Eike Best} and {Raymond R. Devillers} and {Maciej Koutny}},
publisher = {North-Holland / Elsevier},
booktitle = {Handbook of Process Algebra}
}
@article{journals/acta/BestDK01,
title = {Recursion and Petri nets.},
year = {2001},
journal = {Acta Informatica},
author = {{Eike Best} and {Raymond R. Devillers} and {Maciej Koutny}}
}
@article{journals/iandc/BestDK02,
title = {The Box Algebra = Petri Nets + Process Expressions.},
year = {2002},
journal = {Inf. Comput.},
author = {{Eike Best} and {Raymond R. Devillers} and {Maciej Koutny}}
}
@inproceedings{conf/ac/BestK03,
title = {Process Algebra: A Petri-Net-Oriented Tutorial.},
year = {2003},
booktitle = {Lectures on Concurrency and Petri Nets},
author = {{Eike Best} and {Maciej Koutny}},
publisher = {Springer},
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ätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]}
}
@inproceedings{conf/ershov/BestEWW06,
title = {Separability in Conflict-Free Petri Nets.},
year = {2006},
booktitle = {Ershov Memorial Conference},
author = {{Eike Best} and {Javier Esparza} and {Harro Wimmel} and {Karsten Wolf}},
publisher = {Springer},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers}
}
@article{journals/fuin/BestDW07,
title = {Making Petri Nets Safe and Free of Internal Transitions.},
year = {2007},
journal = {Fundam. Informaticae},
author = {{Eike Best} and {Philippe Darondeau} and {Harro Wimmel}}
}
@inproceedings{conf/apn/BestD08,
title = {Decomposition Theorems for Bounded Persistent Petri Nets.},
year = {2008},
booktitle = {Petri Nets},
author = {{Eike Best} and {Philippe Darondeau}},
publisher = {Springer},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings}
}
@inproceedings{conf/birthday/Best08,
title = {A Note on Persistent Petri Nets.},
year = {2008},
booktitle = {Concurrency, Graphs and Models},
author = {{Eike Best}},
publisher = {Springer},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}
}
@inproceedings{conf/ista/BestR08,
title = {A Slicing Technique for Business Processes.},
year = {2008},
booktitle = {UNISCON},
author = {{Eike Best} and {Astrid Rakow}},
publisher = {Springer},
booktitle = {Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008, Proceedings}
}
@inproceedings{journals/entcs/BestS09,
title = {Relational Semantics Revisited.},
year = {2008},
booktitle = {SOS@ICALP},
author = {{Eike Best} and {Kerstin Strecker}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008}
}
@article{journals/acta/BestD09,
title = {A decomposition theorem for finite persistent transition systems.},
year = {2009},
journal = {Acta Informatica},
author = {{Eike Best} and {Philippe Darondeau}}
}
@inproceedings{journals/corr/abs-1102-5585,
title = {On the Decidability of Non Interference over Unbounded Petri Nets},
year = {2010},
booktitle = {SecCo},
author = {{Eike Best} and {Philippe Darondeau} and {Roberto Gorrieri}},
booktitle = {Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010.}
}
@article{journals/fuin/VirbitskaiteGB10,
title = {A Categorical View of Timed Behaviours.},
year = {2010},
journal = {Fundam. Informaticae},
author = {{Irina B. Virbitskaite} and {Natalya Gribovskaya} and {Eike Best}}
}
@inproceedings{conf/ershov/BestD11,
title = {Petri Net Distributability.},
year = {2011},
booktitle = {Ershov Memorial Conference},
author = {{Eike Best} and {Philippe Darondeau}},
publisher = {Springer},
booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers}
}
@article{journals/fuin/BestD11,
title = {Separability in Persistent Petri Nets.},
year = {2011},
journal = {Fundam. Informaticae},
author = {{Eike Best} and {Philippe Darondeau}}
}
@inproceedings{conf/birthday/VirbitskaiteGB12,
title = {Unifying Equivalences for Timed Transition Systems.},
year = {2012},
booktitle = {Turing-100},
author = {{Irina B. Virbitskaite} and {Natalya Gribovskaya} and {Eike Best}},
publisher = {EasyChair},
booktitle = {Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012}
}
@inproceedings{conf/post/BestD12,
title = {Deciding Selective Declassification of Petri Nets.},
year = {2012},
booktitle = {POST},
author = {{Eike Best} and {Philippe Darondeau}},
publisher = {Springer},
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}
}
@article{journals/fuin/OshevskayaVB12,
title = {Unifying Equivalences for Higher Dimensional Automata.},
year = {2012},
journal = {Fundam. Informaticae},
author = {{Elena S. Oshevskaya} and {Irina B. Virbitskaite} and {Eike Best}}
}
@article{journals/topnoc/BestW13,
title = {Structure Theory of Petri Nets.},
year = {2013},
journal = {Trans. Petri Nets Other Model. Concurr.},
author = {{Eike Best} and {Harro Wimmel}},
publisher = {Springer},
booktitle = {Transactions on Petri Nets and Other Models of Concurrency VII}
}
@inproceedings{conf/apn/BestD14,
title = {Synthesis of Persistent Systems.},
year = {2014},
booktitle = {Petri Nets},
author = {{Eike Best} and {Raymond R. Devillers}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings}
}
@inproceedings{conf/lata/BestD14,
title = {Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets.},
year = {2014},
booktitle = {LATA},
author = {{Eike Best} and {Raymond R. Devillers}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings}
}
@inproceedings{conf/apn/BarylskaBEMP15,
title = {On Binary Words Being Petri Net Solvable.},
year = {2015},
booktitle = {ATAED@Petri Nets/ACSD},
author = {{Kamila Barylska} and {Eike Best} and {Evgeny Erofeev} and {Lukasz Mikulski} and {Marcin Piatkowski}},
publisher = {CEUR-WS.org},
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.}
}
@inproceedings{conf/concur/BestD15,
title = {Synthesis of Bounded Choice-Free Petri Nets.},
year = {2015},
booktitle = {CONCUR},
author = {{Eike Best} and {Raymond R. Devillers}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015}
}
@article{journals/acta/BestD15,
title = {Synthesis and reengineering of persistent systems.},
year = {2015},
journal = {Acta Informatica},
author = {{Eike Best} and {Raymond R. Devillers}}
}
@article{journals/acta/BestD15a,
title = {State space axioms for T-systems.},
year = {2015},
journal = {Acta Informatica},
author = {{Eike Best} and {Raymond R. Devillers}}
}
@inproceedings{journals/corr/BestS15,
title = {Analysis of Petri Nets and Transition Systems.},
year = {2015},
booktitle = {ICE},
author = {{Eike Best} and {Uli Schlachter}},
booktitle = {Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015.}
}
@article{journals/fuin/BestD15,
title = {Synthesis of Live and Bounded Persistent Systems.},
year = {2015},
journal = {Fundam. Informaticae},
author = {{Eike Best} and {Raymond R. Devillers}}
}
@inproceedings{conf/apn/BarylskaB16,
title = {Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis.},
year = {2016},
booktitle = {ATAED@Petri Nets/ACSD},
author = {{Kamila Barylska} and {Eike Best}},
publisher = {CEUR-WS.org},
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.}
}
@inproceedings{conf/apn/BestD16,
title = {The Power of Prime Cycles.},
year = {2016},
booktitle = {Petri Nets},
author = {{Eike Best} and {Raymond R. Devillers}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings}
}
@inproceedings{conf/apn/BestESW16,
title = {Characterising Petri Net Solvable Binary Words.},
year = {2016},
booktitle = {Petri Nets},
author = {{Eike Best} and {Evgeny Erofeev} and {Uli Schlachter} and {Harro Wimmel}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings}
}
@inproceedings{conf/rp/BestW16,
title = {Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs.},
year = {2016},
booktitle = {RP},
author = {{Eike Best} and {Harro Wimmel}},
publisher = {Springer},
booktitle = {Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings}
}
@article{journals/fuin/VirbitskaiteBB16,
title = {True Concurrent Equivalences in Time Petri Nets.},
year = {2016},
journal = {Fundam. Informaticae},
author = {{Irina B. Virbitskaite} and {Dmitriy Bushin} and {Eike Best}}
}
@article{journals/ipl/BestE16,
title = {Existence of home states in Petri nets is decidable.},
year = {2016},
journal = {Inf. Process. Lett.},
author = {{Eike Best} and {Javier Esparza}}
}
@article{journals/topnoc/BarylskaBEMP16,
title = {Conditions for Petri Net Solvable Binary Words.},
year = {2016},
journal = {Trans. Petri Nets Other Model. Concurr.},
author = {{Kamila Barylska} and {Eike Best} and {Evgeny Erofeev} and {Lukasz Mikulski} and {Marcin Piatkowski}},
publisher = {Springer},
booktitle = {Transactions on Petri Nets and Other Models of Concurrency XI}
}
@inproceedings{conf/sofsem/BestDS17,
title = {A Graph-Theoretical Characterisation of State Separation.},
year = {2017},
booktitle = {SOFSEM},
author = {{Eike Best} and {Raymond R. Devillers} and {Uli Schlachter}},
publisher = {Springer},
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}
}
@inproceedings{conf/sofsem/BestGV17,
title = {Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.},
year = {2017},
booktitle = {SOFSEM},
author = {{Eike Best} and {Nataliya S. Gribovskaya} and {Irina B. Virbitskaite}},
publisher = {Springer},
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}
}
@article{journals/iandc/BestD17,
title = {Characterisation of the state spaces of marked graph Petri nets.},
year = {2017},
journal = {Inf. Comput.},
author = {{Eike Best} and {Raymond R. Devillers}}
}
@article{journals/topnoc/BarylskaBSS17,
title = {Properties of Plain, Pure, and Safe Petri Nets.},
year = {2017},
journal = {Trans. Petri Nets Other Model. Concurr.},
author = {{Kamila Barylska} and {Eike Best} and {Uli Schlachter} and {Valentin Spreckels}},
publisher = {Springer},
booktitle = {Transactions on Petri Nets and Other Models of Concurrency XII}
}
@inproceedings{conf/apn/BestGV18,
title = {From Event-Oriented Models to Transition Systems.},
year = {2018},
booktitle = {Petri Nets},
author = {{Eike Best} and {Nataliya Gribovskaya} and {Irina B. Virbitskaite}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings}
}
@article{journals/acta/BestDS18,
title = {Bounded choice-free Petri net synthesis: algorithmic issues.},
year = {2018},
journal = {Acta Informatica},
author = {{Eike Best} and {Raymond R. Devillers} and {Uli Schlachter}}
}
@article{journals/cuza/BestDSW18,
title = {Simultaneous Petri Net Synthesis.},
year = {2018},
journal = {Sci. Ann. Comput. Sci.},
author = {{Eike Best} and {Raymond R. Devillers} and {Uli Schlachter} and {Harro Wimmel}}
}
@article{journals/fuin/AalstBP18,
title = {Preface.},
year = {2018},
journal = {Fundam. Informaticae},
author = {{Wil M. P. van der Aalst} and {Eike Best} and {Wojciech Penczek}}
}
@article{journals/scp/BestD18,
title = {Pre-synthesis of Petri nets based on prime cycles and distance paths.},
year = {2018},
journal = {Sci. Comput. Program.},
author = {{Eike Best} and {Raymond R. Devillers}}
}
@article{journals/tcs/BestHW18,
title = {Sufficient conditions for the marked graph realisability of labelled transition systems.},
year = {2018},
journal = {Theor. Comput. Sci.},
author = {{Eike Best} and {Thomas Hujsa} and {Harro Wimmel}}
}
@inproceedings{conf/apn/BestDE20,
title = {A New Property of Choice-Free Petri Net Systems.},
year = {2020},
booktitle = {Petri Nets},
author = {{Eike Best} and {Raymond R. Devillers} and {Evgeny Erofeev}},
publisher = {Springer},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings}
}
@article{journals/fuin/BestDEW20,
title = {Target-oriented Petri Net Synthesis.},
year = {2020},
journal = {Fundam. Informaticae},
author = {{Eike Best} and {Raymond R. Devillers} and {Evgeny Erofeev} and {Harro Wimmel}}
}
@book{books/sp/BestD24,
title = {Petri Net Primer - A Compendium on the Core Model, Analysis, and Synthesis},
year = {2024},
isbn = {978-3-031-48277-9},
publisher = {Springer},
author = {{Eike Best} and {Raymond R. Devillers}}
}