default search action

combined dblp search
author search
venue search
publication search

ask others

Eike Best

> Home > Persons

Person information

affiliation: University of Oldenburg, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[b6]
- view
  authority control:
- export record
  dblp key:
  - books/sp/BestD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/BestD24
Eike Best, Raymond R. Devillers:
Petri Net Primer - A Compendium on the Core Model, Analysis, and Synthesis. Springer 2024, ISBN 978-3-031-48277-9, pp. 1-504
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestD24
Eike Best, Raymond R. Devillers:
Petri Net Synthesis from a Reachability Set. Petri Nets 2024: 223-243
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BestD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BestD24
Eike Best, Raymond R. Devillers:
Coverability in Well-Formed Free-Choice Petri Nets. Taming the Infinities of Concurrency 2024: 122-132
2020
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BestDEW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BestDEW20
Eike Best, Raymond R. Devillers, Evgeny Erofeev, Harro Wimmel:
Target-oriented Petri Net Synthesis. Fundam. Informaticae 175(1-4): 97-122 (2020)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestDE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestDE20
Eike Best, Raymond R. Devillers, Evgeny Erofeev:
A New Property of Choice-Free Petri Net Systems. Petri Nets 2020: 89-108

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestDS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestDS18
Eike Best, Raymond R. Devillers, Uli Schlachter:
Bounded choice-free Petri net synthesis: algorithmic issues. Acta Informatica 55(7): 575-611 (2018)
[j40]
- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/BestDSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/BestDSW18
Eike Best, Raymond R. Devillers, Uli Schlachter, Harro Wimmel:
Simultaneous Petri Net Synthesis. Sci. Ann. Comput. Sci. 28(2): 199-236 (2018)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AalstBP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AalstBP18
Wil M. P. van der Aalst, Eike Best, Wojciech Penczek:
Preface. Fundam. Informaticae 161(4): i-ii (2018)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BestD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BestD18
Eike Best, Raymond R. Devillers:
Pre-synthesis of Petri nets based on prime cycles and distance paths. Sci. Comput. Program. 157: 41-55 (2018)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BestHW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BestHW18
Eike Best, Thomas Hujsa, Harro Wimmel:
Sufficient conditions for the marked graph realisability of labelled transition systems. Theor. Comput. Sci. 750: 101-116 (2018)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestGV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestGV18
Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite:
From Event-Oriented Models to Transition Systems. Petri Nets 2018: 117-139
2017
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BestD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BestD17
Eike Best, Raymond R. Devillers:
Characterisation of the state spaces of marked graph Petri nets. Inf. Comput. 253: 399-410 (2017)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BarylskaBSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BarylskaBSS17
Kamila Barylska, Eike Best, Uli Schlachter, Valentin Spreckels:
Properties of Plain, Pure, and Safe Petri Nets. Trans. Petri Nets Other Model. Concurr. 12: 1-18 (2017)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/BestGV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/BestGV17
Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite:
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. SOFSEM 2017: 132-146
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/BestDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/BestDS17
Eike Best, Raymond R. Devillers, Uli Schlachter:
A Graph-Theoretical Characterisation of State Separation. SOFSEM 2017: 163-175
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2017
Wil M. P. van der Aalst, Eike Best:
Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings. Lecture Notes in Computer Science 10258, Springer 2017, ISBN 978-3-319-57860-6 [contents]
2016
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/VirbitskaiteBB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/VirbitskaiteBB16
Irina B. Virbitskaite, Dmitriy Bushin, Eike Best:
True Concurrent Equivalences in Time Petri Nets. Fundam. Informaticae 149(4): 401-418 (2016)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/BestE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/BestE16
Eike Best, Javier Esparza:
Existence of home states in Petri nets is decidable. Inf. Process. Lett. 116(6): 423-427 (2016)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BarylskaBEMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BarylskaBEMP16
Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski:
Conditions for Petri Net Solvable Binary Words. Trans. Petri Nets Other Model. Concurr. 11: 137-159 (2016)
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestESW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestESW16
Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel:
Characterising Petri Net Solvable Binary Words. Petri Nets 2016: 39-58
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestD16
Eike Best, Raymond R. Devillers:
The Power of Prime Cycles. Petri Nets 2016: 59-78
[c66]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/BarylskaB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarylskaB16
Kamila Barylska, Eike Best:
Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis. ATAED@Petri Nets/ACSD 2016: 111-125
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BestW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BestW16
Eike Best, Harro Wimmel:
Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs. RP 2016: 51-62
2015
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestD15
Eike Best, Raymond R. Devillers:
Synthesis and reengineering of persistent systems. Acta Informatica 52(1): 35-60 (2015)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestD15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestD15a
Eike Best, Raymond R. Devillers:
State space axioms for T-systems. Acta Informatica 52(2-3): 133-152 (2015)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BestD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BestD15
Eike Best, Raymond R. Devillers:
Synthesis of Live and Bounded Persistent Systems. Fundam. Informaticae 140(1): 39-59 (2015)
[c64]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/BarylskaBEMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarylskaBEMP15
Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski:
On Binary Words Being Petri Net Solvable. ATAED@Petri Nets/ACSD 2015: 1-15
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BestD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BestD15
Eike Best, Raymond R. Devillers:
Synthesis of Bounded Choice-Free Petri Nets. CONCUR 2015: 128-141
[c62]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BestS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BestS15
Eike Best, Uli Schlachter:
Analysis of Petri Nets and Transition Systems. ICE 2015: 53-67
2014
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestD14
Eike Best, Raymond R. Devillers:
Synthesis of Persistent Systems. Petri Nets 2014: 111-129
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/BestD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/BestD14
Eike Best, Raymond R. Devillers:
Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. LATA 2014: 161-172
2013
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BestW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BestW13
Eike Best, Harro Wimmel:
Structure Theory of Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 162-224 (2013)
2012
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/OshevskayaVB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/OshevskayaVB12
Elena S. Oshevskaya, Irina B. Virbitskaite, Eike Best:
Unifying Equivalences for Higher Dimensional Automata. Fundam. Informaticae 119(3-4): 357-372 (2012)
[c59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/birthday/VirbitskaiteGB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/VirbitskaiteGB12
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best:
Unifying Equivalences for Timed Transition Systems. Turing-100 2012: 386-404
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/BestD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BestD12
Eike Best, Philippe Darondeau:
Deciding Selective Declassification of Petri Nets. POST 2012: 290-308
2011
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BestD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BestD11
Eike Best, Philippe Darondeau:
Separability in Persistent Petri Nets. Fundam. Informaticae 113(3-4): 179-203 (2011)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/BestD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/BestD11
Eike Best, Philippe Darondeau:
Petri Net Distributability. Ershov Memorial Conference 2011: 1-18
2010
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/VirbitskaiteGB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/VirbitskaiteGB10
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best:
A Categorical View of Timed Behaviours. Fundam. Informaticae 102(1): 129-143 (2010)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestD10
Eike Best, Philippe Darondeau:
Separability in Persistent Petri Nets. Petri Nets 2010: 246-266
[c55]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-5585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-5585
Eike Best, Philippe Darondeau, Roberto Gorrieri:
On the Decidability of Non Interference over Unbounded Petri Nets. SecCo 2010: 16-33

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestD09
Eike Best, Philippe Darondeau:
A decomposition theorem for finite persistent transition systems. Acta Informatica 46(3): 237-254 (2009)
2008
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestD08
Eike Best, Philippe Darondeau:
Decomposition Theorems for Bounded Persistent Petri Nets. Petri Nets 2008: 33-51
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Best08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Best08
Eike Best:
A Note on Persistent Petri Nets. Concurrency, Graphs and Models 2008: 427-438
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/ista/BestR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ista/BestR08
Eike Best, Astrid Rakow:
A Slicing Technique for Business Processes. UNISCON 2008: 45-51
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BestS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BestS09
Eike Best, Kerstin Strecker:
Relational Semantics Revisited. SOS@ICALP 2008: 27-47
2007
[j23]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BestDW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BestDW07
Eike Best, Philippe Darondeau, Harro Wimmel:
Making Petri Nets Safe and Free of Internal Transitions. Fundam. Informaticae 80(1-3): 75-90 (2007)
2006
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/BestEWW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/BestEWW06
Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf:
Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
2003
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BestK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BestK03
Eike Best, Maciej Koutny:
Process Algebra: A Petri-Net-Oriented Tutorial. Lectures on Concurrency and Petri Nets 2003: 180-209
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2003
Wil M. P. van der Aalst, Eike Best:
Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Lecture Notes in Computer Science 2679, Springer 2003, ISBN 3-540-40334-5 [contents]
2002
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BestDK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BestDK02
Eike Best, Raymond R. Devillers, Maciej Koutny:
The Box Algebra = Petri Nets + Process Expressions. Inf. Comput. 178(1): 44-100 (2002)
2001
[b5]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0003970
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0003970
Eike Best, Raymond R. Devillers, Maciej Koutny:
Petri net algebra. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2001, ISBN 978-3-540-67398-9, pp. I-XI, 1-378
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestDK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestDK01
Eike Best, Raymond R. Devillers, Maciej Koutny:
Recursion and Petri nets. Acta Informatica 37(11-12): 781-829 (2001)
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/el/01/BestDK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/01/BestDK01
Eike Best, Raymond R. Devillers, Maciej Koutny:
A Unified Model for Nets and Process Algebras. Handbook of Process Algebra 2001: 873-944
2000
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestW00
Eike Best, Harro Wimmel:
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. ICATPN 2000: 63-82

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BestL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BestL99
Eike Best, Alexander Lavrov:
Generalised Composition Operations for High-level Petri Nets. Fundam. Informaticae 40(2-3): 125-163 (1999)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KoutnyB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KoutnyB99
Maciej Koutny, Eike Best:
Operational and Denotational Semantics for the Box Algebra. Theor. Comput. Sci. 211(1-2): 1-83 (1999)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestDK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestDK99
Eike Best, Raymond R. Devillers, Maciej Koutny:
The Box Algebra - A Model of Nets and Process Expressions. ICATPN 1999: 344-363
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BestL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BestL99
Eike Best, Alexander Lavrov:
Weak and Strong Composition of High-Level Petri-Nets. CONCUR 1999: 194-209
1998
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestFHKP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestFHKP98
Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35(10): 813-857 (1998)
1997
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestT97
Eike Best, Thomas Thielke:
Orthogonal Transformations for Coloured Petri Nets. ICATPN 1997: 447-466
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BestBP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BestBP97
Eike Best, Frank S. de Boer, Catuscia Palamidessi:
Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION 1997: 256-273
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/BestT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/BestT97
Eike Best, Thomas Thielke:
Refinement of Coloured Petri Nets. FCT 1997: 105-116
1996
[b4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0084555
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0084555
Eike Best:
Semantics of sequential and parallel programs. Prentice Hall International series in computer science, Prentice Hall 1996, ISBN 978-0-13-460643-9, pp. I-XI, 1-351
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/Best96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/Best96
Eike Best:
Some Major Dichotomies Relating to Future Research in Concurrency. ACM Comput. Surv. 28(4es): 40 (1996)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BestDK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BestDK96
Eike Best, Raymond R. Devillers, Maciej Koutny:
Petri Nets, Process Algebras and Concurrent Programming Languages. Petri Nets (2) 1996: 1-84
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BestP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BestP96
Eike Best, Catuscia Palamidessi:
Linear Constraint Systems as High-Level Nets. CONCUR 1996: 498-513
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/Best96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Best96
Eike Best:
Partial order verification with PEP. Partial Order Methods in Verification 1996: 305-328
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GrahlmannB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GrahlmannB96
Bernd Grahlmann, Eike Best:
PEP - More than a Petri Net Tool. TACAS 1996: 397-401
1995
[b3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0078233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0078233
Eike Best:
Semantik - Theorie sequentieller und paralleler Programmierung. Lehrbuch Informatik, Vieweg 1995, ISBN 978-3-528-05431-1, pp. I-XIV, 1-370
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestK95
Eike Best, Maciej Koutny:
A Refined View of the Box Algebra. Application and Theory of Petri Nets 1995: 1-20
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestFFHKP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestFFHKP95
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)². Application and Theory of Petri Nets 1995: 103-120
[c36]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ccp2/BoerPB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccp2/BoerPB95
Frank S. de Boer, Catuscia Palamidessi, Eike Best:
Concurrent Constraint Programming with Information Removal. CCP 1995: 1:1-1:13
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BestK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BestK95
Eike Best, Maciej Koutny:
Solving Recursive Net Equations. ICALP 1995: 605-623
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/strict/BestDPR0T95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/strict/BestDPR0T95
Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel:
CALIBAN - Esprit Basic Research WG 6067. STRICT 1995: 2-31
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/strict/BestFFHKP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/strict/BestFFHKP95
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
An M-net Semantics of B(PN)2. STRICT 1995: 85-100
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BestK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BestK95
Eike Best, Maciej Koutny:
Using net refinement to compute the fixpoint of a recursive. SEGRAGRA 1995: 27-28
1994
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KoutnyEB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KoutnyEB94
Maciej Koutny, Javier Esparza, Eike Best:
Operational Semantics for the Petri Box Calculus. CONCUR 1994: 210-225
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Best94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Best94
Eike Best:
A Memory Module Specification Using Composable High-Level Petri Nets. Formal Systems Specification 1994: 109-159
1993
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/mfps/BestL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfps/BestL93
Eike Best, Hans-Günther Linde-Göers:
Compositional Process Semantics of Petri Boxes. MFPS 1993: 250-270
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/parle/BestH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/BestH93
Eike Best, Richard P. Hopkins:
B(PN)² - a Basic Petri Net Programming Notation. PARLE 1993: 379-390
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/BestDE93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/BestDE93
Eike Best, Raymond R. Devillers, Javier Esparza:
General Refinement and Recursion Operators for the Petri Box Calculus. STACS 1993: 130-140
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/1993
Eike Best:
CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Lecture Notes in Computer Science 715, Springer 1993, ISBN 3-540-57208-2 [contents]
1992
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BestCD92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BestCD92
Eike Best, Ludmila Cherkasova, Jörg Desel:
Compositional Generation of Home States in Free Choice Nets. Formal Aspects Comput. 4(6): 572-581 (1992)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/Best92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/Best92
Eike Best:
Results of the esprit basic research action 3148 demon (design methods based on nets). Microprocess. Microprogramming 35(1-5): 23-27 (1992)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BestK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BestK92
Eike Best, Maciej Koutny:
Petri Net Semantics of Priority Systems. Theor. Comput. Sci. 96(1): 175-174 (1992)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BestDE92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BestDE92
Eike Best, Jörg Desel, Javier Esparza:
Traps Characterize Home States in Free Choice Systems. Theor. Comput. Sci. 101(2): 161-176 (1992)
[p2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Best92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Best92
Eike Best:
Esprit Basic Research Action 3148 DEMON (design methods based on nets). Advances in Petri Nets: The DEMON Project 1992: 1-20
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestDH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestDH92
Eike Best, Raymond R. Devillers, Jon G. Hall:
The box calculus: a new causal algebra with multi-label communication. Advances in Petri Nets: The DEMON Project 1992: 21-69
1991
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestDKP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestDKP91
Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello:
Concurrent Bisimulations in Petri Nets. Acta Informatica 28(3): 231-264 (1991)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BestE91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BestE91
Eike Best, Javier Esparza:
Model Checking of Persistent Petri Nets. CSL 1991: 35-52
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/Best91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/Best91
Eike Best:
Overview of the Results of the Esprit Basic Research Action DEMON - Design Methods Based on Nets. PNPM 1991: 224-235
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/BestCD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/BestCD91
Eike Best, Ludmila Cherkasova, Jörg Desel:
Compositional Generation of Home States in Free Choice Systems. STACS 1991: 398-409
1990
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BestD90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BestD90
Eike Best, Jörg Desel:
Partial Order Behaviour and Structure of Petri Nets. Formal Aspects Comput. 2(2): 123-138 (1990)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Best90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Best90
Eike Best:
Partial Order Semantics of Concurrent Programs (Abstract). CONCUR 1990: 1

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BestL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BestL89
Eike Best, Christian Lengauer:
Semantic Independence. Sci. Comput. Program. 13(1): 23-50 (1989)
1988
[b2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0069959
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0069959
Eike Best:
Kausale Semantik nichtsequentieller Programme. Universität Bonn, 1988, pp. I-IV, 1-187
[b1]
- view
  authority control:
- export record
  dblp key:
  - series/eatcs/BestF88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/eatcs/BestF88
Eike Best, César Fernández:
Nonsequential Processes - A Petri Net View. EATCS Monographs on Theoretical Computer Science 13, Springer 1988, ISBN 978-3-642-73485-4, pp. i-ix, 1-112
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Best88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Best88
Eike Best:
Design Methods Based on Nets, Esprit Basic Research Action DEMON. European Workshop on Applications and Theory in Petri Nets 1988: 487-506
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Best88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Best88
Eike Best:
Weighted Basic Petri Nets. Concurrency 1988: 257-276
1987
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BestD87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BestD87
Eike Best, Raymond R. Devillers:
Sequential and Concurrent Behaviour in Petri Net Theory. Theor. Comput. Sci. 55(1): 87-136 (1987)
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/BestD87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/BestD87
Eike Best, Raymond R. Devillers:
Interleaving and partial orders in concurrency: a formal comparison. Formal Description of Programming Concepts 1987: 299-324
1986
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Best86a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Best86a
Eike Best:
Structure Theory of Petri Nets: the Free Choice Hiatus. Advances in Petri Nets 1986: 168-205
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Best86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Best86
Eike Best:
COSY: Its Relation to Nets and CSP. Advances in Petri Nets 1986: 416-440
1985
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/BestC85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/BestC85
Eike Best, Flaviu Cristian:
Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs". IEEE Trans. Computers 34(1): 97-98 (1985)
1984
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestV84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestV84
Eike Best, Klaus Voss:
Free Choice Systems Have Home States. Acta Informatica 21: 89-100 (1984)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Best84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Best84
Eike Best:
Fairness and Conspiracies. Inf. Process. Lett. 18(4): 215-220 (1984)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestM84
Eike Best, Agathe Merceron:
Concurrency axioms and D-continuous posets. European Workshop on Applications and Theory in Petri Nets 1984: 32-47
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestM84a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestM84a
Eike Best, Agathe Merceron:
Frozen tokens and D-continuity: A study in relating system properties to process properties. European Workshop on Applications and Theory in Petri Nets 1984: 48-61
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Best84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Best84
Eike Best:
Concurrent Behaviour: Sequences, Processes and Axioms. Seminar on Concurrency 1984: 221-245
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icftcs/Best84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icftcs/Best84
Eike Best:
Formale Methoden zur Erstellung robuster Software. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 1-9
1983
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/BestS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/BestS83
Eike Best, M. W. Shields:
Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. CAAP 1983: 141-154
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tcs/BestM83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tcs/BestM83
Eike Best, Agathe Merceron:
Discreteness, k-density and d-continuity of occurrence nets. Theoretical Computer Science 1983: 73-83
1982
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Best82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Best82
Eike Best:
Adequacy Properties of Path Programs. Theor. Comput. Sci. 18: 149-171 (1982)
[c11]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Best82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Best82
Eike Best:
Relational Semantics of Concurrent Programs (With Some Applications). Formal Description of Programming Concepts 1982: 431-452
1981
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BestR81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BestR81
Eike Best, Brian Randell:
A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica 16: 93-124 (1981)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BestC81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BestC81
Eike Best, Flaviu Cristian:
Systematic Detection of Exception Occurrences. Sci. Comput. Program. 1(1-2): 115-144 (1981)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Best81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Best81
Eike Best:
Overview on Topic 3: Information Flow and Concurrency. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 72-73
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Best81a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Best81a
Eike Best:
Information Flow in Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 82-87
1980
[j2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/Best80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Best80
Eike Best:
A theorem on the characteristics of nonsequential processes. Fundam. Informaticae 3(1): 77-94 (1980)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Best80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Best80
Eike Best:
Proof of a Concurrent Program Finding Euler Paths. MFCS 1980: 142-153

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1979
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Best79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Best79
Eike Best:
A Note on the Proof of a Concurrent Program. Inf. Process. Lett. 9(3): 103-104 (1979)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Best75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Best75
Eike Best:
Atomicity of Activities. Advanced Course: Net Theory and Applications 1979: 225-250
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Best75a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Best75a
Eike Best:
The Relative Strength of K-Density. Advanced Course: Net Theory and Applications 1979: 261-276
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Best75b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Best75b
Eike Best:
Adequacy of Path Programs. Advanced Course: Net Theory and Applications 1979: 291-305
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/LauerSB79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/LauerSB79
Peter E. Lauer, M. W. Shields, Eike Best:
Design & Analysis of Highly Parallel & Distributed Systems. Abstract Software Specifications 1979: 451-503
1977
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/LauerBS77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/LauerBS77
Peter E. Lauer, Eike Best, Michael W. Shields:
On the Problem of Achieving Adequacy of Concurrent Programs. Formal Description of Programming Concepts 1977: 301-336
1975
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/gi/BestS75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/BestS75
Eike Best, Hans Albrecht Schmid:
Martierte Petrinetze und Sigma-Teilsysteme. GI Jahrestagung 1975: 151-161
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BestS75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BestS75
Eike Best, Hans Albrecht Schmid:
Systems of Open Paths in Petri Nets. MFCS 1975: 186-193

Coauthor Index

see FAQ

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.