Best, E.

• Best, Eike; Koutny, Maciej:
  Process Algebra: A Petri-Net-Oriented Tutorial. 2004.

• Best, E.; Devillers, R.; Koutny, M.:
  A unified model for nets and process algebra. 2001.

• Best, Eike; Devillers, Raymond; Koutny, Maciej:
  Recursion and Petri nets. 2001.

• Best, Eike; Wimmel, Harro:
  Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. 2000.

• Koutny, M.; Best, E.:
  Operational and denotational semantics for the box algebra. 1999.

• Best, Eike; Lavrov, Alexander:
  Weak and Strong Composition of High-Level Petri Nets. 1999.

• Best, Eike; Devillers, Raymond; Koutny, Maciej:
  The Box Algebra - A Model of Nets and Process Expressions. 1999.

• Best, E.; Devillers, R.; Koutny, M.:
  Petri Nets, Process Algebras and Concurrent Programming Languages. 1998.

• Best, E.; Fraczak, W.; Hopkins, R.P.; Klaudel, H.; Pelz, E.:
  M-nets: an algebra of high-level Petri nets with an applications to the semantics of concurrent programming languages. 1998.

• Best, E.:
  Partial order verification with PEP. 1997.

• Best, Eike; Thielke, Thomas:
  Refinement of Coloured Petri Nets. 1997.

• Best, Eike; Thielke, Thomas:
  Orthogonal Transformations for Coloured Petri Nets. 1997.

• Best, Eike; Thielke, Thomas:
  Coloured Nets with Curry - A Multirelation-based Linear Algebra for High-level Petri Nets. 1996.

• Grahlmann, B.; Best, E.:
  PEP - More than a Petri Net Tool. 1996.

• Best, E.; Devillers, R.; Pelz, E.; Rensink, A.; Silva, M.; Teruel, E.:
  CALIBAN - Esprit Basic Research WG 6067. 1995.

• Best, E.; Fleischhack, H.; Fraczak, W.; Hopkins, R.P.; Klaudel, H.; Pelz, E.:
  A Class of Composable High Level Petri Nets. 1995.

• Best, Eike; Fleischhack, Hans; Fraczak, Wojciech; Hopkins, Richard P.; Klaudel, Hanna; Pelz, Elisabeth:
  An M-net Semantics of B(PN)². 1995.

• Best, E.; Koutny, M.:
  A Refined View of the Box Algebra. 1995.

• Best, Eike:
  Progress Report of the Basic Research Working Group CALIBAN. 1994.

• Best, E.; Fleischhack, H.; Fraczak, W.; Hopkins, R.P.; Klaudel, H.; Pelz, E.:
  A High Level Petri Net Semantics of B(PN)². 1994.

• Best, Eike; Devillers, Raymond; Esparza, Javier:
  General Refinement and Recursion Operators for the Petri Box Calculus. 1993.

• Best, E.; Linde-Göers, H.-G.:
  Compositional process semantics of Petri boxes. 1993.

• Best, Eike:
  Esprit Basic Research Action 3148 DEMON (design methods based on nets) - aims, scope and achievements. 1992.

• Best, Eike:
  The Box Calculus: a New Causal Algebra with Multi-label Communication. 1992.

• Best, E.; Desel, J.; Esparza, J.:
  Traps characterize home states in free choice systems. 1992.

• Best, E.; Koutny, M.:
  Petri Net Semantics of Priority Systems. 1992.

• Best, E.:
  Overview of the Results of the esprit Basic Research Action DEMON - Design Methods Based on Nets. 1991.

• Best, Eike; Cherkasova, Ludmila; Desel, Jörg:
  Compositional Generation of Home States in Free Choice Systems. 1991.

• Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia:
  Concurrent Bisimulations in Petri Nets. 1991.

• Best, Eike; Esparza, Javier:
  Model Checking of Persistent Petri Nets. 1991.

• Best, E.; Esparza, J.:
  Design Methods Based on Nets (DEMON): Edited Progress Report of the Esprit Basic Research Action 3148. 1991.

• Best, Eike:
  The Petri Box Calculus for Concurrent Programs. 1991.

• Best, Eike:
  Design Methods Based on Nets: Esprit Basic Research Action DEMON. 1990.

• Best, Eike:
  Structure and Behaviour of Concurrent Systems: Selected Results of the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets). 1990.

• Best, Eike; Cherkasova, Ludmila; Desel, Jörg; Esparza, Javier:
  Traps, Free Choice and Home States (Extended Abstract). 1990.

• Best, Eike; Cherkasova, Ludmila; Desel, Jörg; Esparza, Javier:
  Characterisation of Home States in Free Choice Systems. 1990.

• Best, Eike:
  Structure and Behaviour of Concurrent Systems: Selected Results of the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets). 1990.

• Best, Eike; de Cindio, Fiorella; Hopkins, Richard:
  DEMON - Design Methods Based on Nets: An ESPRIT Basic Research Action (No. 3148). 1990.

• Best, Eike; Koutny, Maciej:
  Partial Order Semantics of Priority Systems. 1990.

• Best, E.:
  Technical Annex for the ESPRIT Basic Research Action 3148: Design Methods Based On Nets (DEMON). 1990.

• Best, E.:
  Kausale Semantik nichtsequentieller Programme. 1989.

• Best, Eike; Desel, Jörg:
  Partial Order Behaviour and Structure of Petri Nets. 1989.

• Desel, Jörg; Best, Eike:
  AC/DC systems. 1989.

• Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia:
  Fully Concurrent Bisimulation. 1989.

• Esparza, J.; Best, E.; Silva, M.:
  Minimal Deadlocks in Free Choice Nets. 1989.

• Best, E.:
  Weighted Basic Petri Nets. 1988.

• Best, E.; Fernández, C.:
  Nonsequential Processes. A Petri Net View. 1988.

• Best, E.:
  COSY: Its Relation to Nets and to CSP. 1987.

• Best, E.:
  Structure Theory of Petri Nets: the Free Choice Hiatus. 1987.

• Best, E.; Devillers, R.:
  Interleaving and Partial Orders in Concurrency: A Formal Comparision. 1987.

• Best, E.; Devillers, R.:
  Sequential and Concurrent Behaviour in Petri Net Theory. 1987.

• Best, E.; Merceron, A.:
  D-Continuity and Petri's Axioms of Concurrency for Nonsequential Process Models. 1987.

• Best, E.; Thiagarajan, P.S.:
  Some Classes of Live and Save Petri Nets. 1987.

• Best, E.; Lengauer, C.:
  Semantic Independence. 1987.

• Best, Eike; Fernández, César:
  Notations and Terminology on Petri Net Theory. 1986.

• Best, E.:
  Semantik und Entwurf von Programmen. 1985.

• Best, E.; Devillers, R.:
  Concurrent Behaviour: Sequences, Processes and Programming Languages. 1985.

• Best, Eike; Fernández, César:
  Notations and Terminology on Petri Net Theory. 1985.

• Best, E.; Fernández, C.; Plünnecke, H.:
  Concurrent Systems and Processes. Final Report of the Foundational Part of the Project BEGRUND. 1985.

• Best, Eike; Smith, Einar:
  Into Enlogy. 1985.

• Best, E.:
  Fairness and Conspiracies. 1984.

• Best, E.:
  Concurrent Behaviour: Sequences, Processes and Axioms. 1984.

• Best, Eike:
  In Quest of a Morphism. 1984.

• Best, E.; Merceron, A.:
  Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process Properties. 1984.

• Best, E.; Shields, M.W.:
  Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. 1983.

• Best, Eike:
  Non-Deterministic Interleaving and the Non-Transitivity of Concurrency. 1983.

• Best, E.; Merceron, A.:
  Concurrency Axioms and D-Continuous Posets. 1983.

• Best, E.; Voss, K.:
  Free Choice Systems Have Home States. 1983.

• Best, Eike:
  A Counterexample. 1983.

• Best, E.; Thiagarajan, P.S.:
  Some Open Problems in `Token Mathematics'. 1983.

• Best, E.:
  D-Continuity in Partially Ordered Sets. 1983.

• Best, E.:
  Adequacy Properties of Path Programs. 1982.

• Best, E.:
  Information Flow in Nets. 1982.

• Best, E.; Merceron, A.:
  Discreteness, K-Density and D-Continuity of Occurrence Nets. 1982.

• Best, E.; Merceron, A.:
  Some Properties of Non-Sequential Processes. 1982.

• Best, Eike:
  A Theorem on Open Covers in Petri Nets. 1982.

• Best, E.:
  Relational Semantics of Concurrent Programs (With Some Applications). 1982.

• Best, E.:
  Representing a Program Invariant as a Linear Invariant in a Net. 1982.

• Best, E.:
  Consistency of Relational and Assertional Semantics of Concurrent Programs. 1982.

• Best, E.:
  Adequacy of Path Programs. 1980.

• Best, E.:
  Atomicity of Activities. 1980.

• Best, E.:
  The Relative Strength of K-Density. 1980.

• Lauer, P.E.; Shields, M.W.; Best, E.:
  Design and Analysis of Highly Parallel and Distributed Systems. 1980.

• Lauer, P.E.; Best, E.; Shields, M.W.:
  On the Problem of Achieving Adequacy of Concurrent Programs. 1978.

• Best, E.; Randell, B.:
  A Formal Model of Atomicity in Asynchronous Systems. 1978.

• Lauer, P.E.; Shields, M.W.; Best, E.:
  On the Design and Certification of Asynchronous Systems of Processes, Final Report Period 1976--1977, Part 2: Formal Theory of the Basic COSY Notation. 1978.

• Schmid, H.A.; Best, E.:
  A Step Towards a Solution of the Liveness Problem in Petri Nets. 1978.

• Best, E.:
  A Theorem on the Characteristics of Non-sequential Processes. 1977.

• Schmid, H.A.; Best, E.:
  Towards a Constructive Solution of the Liveness Problem in Petri Nets. 1976.

• Best, E.; Schmid, H.A.:
  Markierte Petrinetze und Sigma-Teilsysteme. 1975.

• Best, E.; Schmid, H.A.:
  Systems of Open Paths in Petri Nets. 1975.

• Best, E.:
  Beiträge zur Petrinetz-Theorie. 1974.

Back to the Petri Nets Bibliography