팔로우
Eike Best
Eike Best
informatik.uni-oldenburg.de의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Sequential and concurrent behaviour in Petri net theory
E Best, R Devillers
Theoretical Computer Science 55 (1), 87-136, 1987
3801987
The box calculus: a new causal algebra with multi-label communication
E Best, R Devillers, JG Hall
Advances in Petri Nets 1992, 21-69, 1992
3611992
Petri net algebra
E Best, R Devillers, M Koutny
Springer Science & Business Media, 2013
3042013
Nonsequential processes: a Petri net view
E Best, C Fernández
Springer Science & Business Media, 2012
2772012
Structure theory of Petri nets: the free choice hiatus
E Best
Advanced Course on Petri Nets, 168-205, 1986
2441986
Concurrent bisimulations in Petri nets
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28, 231-264, 1991
1891991
Notations and terminology on Petri net theory
E Best, C Fernández
Ges. f. Mathematik u. Datenverarbeitung, 1986
1501986
B(PN)2 — a basic Petri net programming notation
E Best, RP Hopkins
PARLE'93 Parallel Architectures and Languages Europe: 5th International …, 1993
1461993
Petri net semantics of priority systems
E Best, M Koutny
Theoretical Computer Science 96 (1), 175-215, 1992
1171992
PEP—more than a Petri net tool
B Grahlmann, E Best
Tools and Algorithms for the Construction and Analysis of Systems: Second …, 1996
1101996
A class of composable high level Petri nets
E Best, H Fleischhack, W Fraczak, RP Hopkins, H Klaudel, E Pelz
International Conference on Application and Theory of Petri Nets, 103-120, 1995
1041995
A formal model of atomicity in asynchronous systems
E Best, B Randell
Acta informatica 16 (1), 93-124, 1981
981981
General refinement and recursion operators for the Petri box calculus
E Best, R Devillers, J Esparza
Annual Symposium on Theoretical Aspects of Computer Science, 130-140, 1993
891993
Fairness and conspiracies
E Best
Information Processing Letters 18 (4), 215-220, 1984
861984
Partial order behaviour and structure of Petri nets
E Best, J Desel
Formal aspects of computing 2, 123-138, 1990
841990
M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
E Best, W Frączak, RP Hopkins, H Klaudel, E Pelz
Acta Informatica 35 (10), 813-857, 1998
811998
Free choice systems have home states
E Best, K Voss
Acta Informatica 21, 89-100, 1984
791984
Semantics of sequential and parallel programs
E Best
Prentice-Hall, Inc., 1997
751997
An M-net Semantics of B(PN)2
E Best, H Fleischhack, W Fraczak, RP Hopkins, H Klaudel, E Pelz
Structures in Concurrency Theory: Proceedings of the International Workshop …, 1995
681995
Some classes of live and safe Petri nets
E Best, PS Thiagarajan
Concurrency and nets: Advances in Petri nets, 71-94, 1987
671987
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20