# Eike Best

According to our database

Collaborative distances:

^{1}, Eike Best authored at least 119 papers between 1975 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2020

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2018

Sufficient conditions for the marked graph realisability of labelled transition systems.

Theor. Comput. Sci., 2018

Sci. Comput. Program., 2018

Fundam. Inform., 2018

Sci. Ann. Comp. Sci., 2018

Acta Informatica, 2018

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Trans. Petri Nets Other Model. Concurr., 2017

Inf. Comput., 2017

Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2016

Trans. Petri Nets Other Model. Concurr., 2016

Inf. Process. Lett., 2016

Fundam. Inform., 2016

Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs.

Proceedings of the Reachability Problems - 10th International Workshop, 2016

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis.

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, 2016

2015

Fundam. Inform., 2015

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Acta Informatica, 2015

Acta Informatica, 2015

Proceedings of the 26th International Conference on Concurrency Theory, 2015

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

2014

Proceedings of the Language and Automata Theory and Applications, 2014

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Trans. Petri Nets Other Model. Concurr., 2013

2012

Fundam. Inform., 2012

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Proceedings of the Turing-100, 2012

2011

Fundam. Inform., 2011

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Fundam. Inform., 2010

Proceedings of the Proceedings 8th International Workshop on Security Issues in Concurrency, 2010

2009

Electron. Notes Theor. Comput. Sci., 2009

Acta Informatica, 2009

2008

Proceedings of the Information Systems and e-Business Technologies, 2008

Proceedings of the Concurrency, 2008

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Fundam. Inform., 2007

2006

Proceedings of the Perspectives of Systems Informatics, 2006

2003

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Inf. Comput., 2002

2001

Acta Informatica, 2001

Proceedings of the Handbook of Process Algebra, 2001

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-04457-5, 2001

2000

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Theor. Comput. Sci., 1999

Fundam. Inform., 1999

Proceedings of the CONCUR '99: Concurrency Theory, 1999

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.

Acta Informatica, 1998

1997

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

ACM Comput. Surv., 1996

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Proceedings of the CONCUR '96, 1996

Proceedings of the Lectures on Petri Nets II: Applications, 1996

Semantics of sequential and parallel programs.

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-460643-9, 1996

1995

Electron. Notes Theor. Comput. Sci., 1995

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Proceedings of the Application and Theory of Petri Nets 1995, 1995

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)<sup>2</sup>.

Proceedings of the Application and Theory of Petri Nets 1995, 1995

Semantik - Theorie sequentieller und paralleler Programmierung.

Lehrbuch Informatik, Vieweg, ISBN: 978-3-528-05431-1, 1995

1994

Proceedings of the Formal Systems Specification, 1994

Proceedings of the CONCUR '94, 1994

1993

Proceedings of the STACS 93, 1993

Proceedings of the PARLE '93, 1993

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992

Theor. Comput. Sci., 1992

Theor. Comput. Sci., 1992

Results of the esprit basic research action 3148 demon (design methods based on nets).

Microprocess. Microprogramming, 1992

Formal Asp. Comput., 1992

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Acta Informatica, 1991

Proceedings of the STACS 91, 1991

Overview of the Results of the Esprit Basic Research Action DEMON - Design Methods Based on Nets.

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990

Formal Asp. Comput., 1990

Proceedings of the CONCUR '90, 1990

1989

Sci. Comput. Program., 1989

1988

EATCS Monographs on Theoretical Computer Science 13, Springer, ISBN: 978-3-642-73483-0, 1988

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

Proceedings of the Advances in Petri Nets 1989, 1988

Kausale Semantik nichtsequentieller Programme.

PhD thesis, 1988

1987

Theor. Comput. Sci., 1987

Interleaving and partial orders in concurrency: a formal comparison.

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs".

IEEE Trans. Computers, 1985

1984

Inf. Process. Lett., 1984

Acta Informatica, 1984

Proceedings of the Software-Fehlertoleranz und -Zuverlässigkeit, 1984

Proceedings of the Seminar on Concurrency, 1984

Frozen tokens and D-continuity: A study in relating system properties to process properties.

Proceedings of the Advances in Petri Nets 1984, 1984

Proceedings of the Advances in Petri Nets 1984, 1984

1983

Proceedings of the Theoretical Computer Science, 1983

Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets.

Proceedings of the CAAP'83, 1983

1982

Theor. Comput. Sci., 1982

Relational Semantics of Concurrent Programs (With Some Applications).

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

Sci. Comput. Program., 1981

Acta Informatica, 1981

Proceedings of the Application and Theory of Petri Nets, 1981

Proceedings of the Application and Theory of Petri Nets, 1981

1980

A theorem on the characteristics of nonsequential processes.

Fundam. Inform., 1980

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Inf. Process. Lett., 1979

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

Proceedings of the Net Theory and Applications, 1979

Proceedings of the Net Theory and Applications, 1979

Proceedings of the Net Theory and Applications, 1979

1977

On the Problem of Achieving Adequacy of Concurrent Programs.

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1975

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975