On the border of causality: Contact and confusion

Theoretical Computer Science

Volumn 153, Issue 1-2, 1996, Pages 245-270

  Smith, Einar ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

Asynchronous interactions; Concurrent processes; Elementary net systems; Metastability in arbiters

Indexed keywords

CONCURRENCY CONTROL; DISTRIBUTED COMPUTER SYSTEMS; DYNAMICS; FORMAL LOGIC; MATHEMATICAL MODELS; SYSTEM STABILITY;

ASYNCHRONOUS INTERACTIONS; CONCURRENT PROCESSES; CONFUSION; CONTACT; DYNAMIC SYSTEMS; ELEMENTARY NET SYSTEM; METASTABILITY IN ARBITERS; MUTUAL EXCLUSION; NET THEORY; NONSEQUENTIAL BEHAVIOUR;

PETRI NETS;

EID: 0030574510     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(95)00123-9     Document Type: Article

References (21)

1. E. Best and R. Devillers, Sequential and concurrent behaviour in Petri net theory, Theoret. Comput. Sci 55 (1987) 299-323.
2. T.J. Chaney and C.E. Molnar, Anomalous behavior of synchronizer and arbiter circuits, IEEE Trans. Comput. C-22 (1988) 421-422.
3. N. Francez, Fairness (Springer, Berlin, 1986).
4. H.J. Genrich, Projections of C/E systems, in: Advances in Petri Nets 1985, Lecture Notes in Computer Science, Vol. 222 (Springer, Berlin, 1986) 224-232.
5. U. Goltz, On condition/event representations of place/transition nets, in: K. Voss, H. Genrich and G. Rozenberg, eds., Concurrency and Nets, Advances in Petri Nets (Springer, Berlin, 1987) 217-232.
6. M.H.T. Hack, Analysis of production schemata by Petri nets, Project MAC, Tech. Report 94, MIT, 1972.
7. M. Hurtado, Structure and performance of asymptotically bistable dynamical systems, PhD thesis, University of Washington, 1975.
8. E. Ochmanski, Occurrence traces, in: Advances in Petri Nets 1988, Lecture Notes in Computer Science, Vol. 340 (Springer, Berlin, 1988) 331-342.
9. C.A. Petri, Concepts of net theory, in: Mathematical Foundations of Computer Science; Proc. Symposium and Summer School (Math. Inst. of the Slovak Acad. of Sciences, High Tatras, 1973) 137-146.
10. C.A. Petri, Interpretations of net theory, Internal Report ISF-75-07 (Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, 2nd ed., 1976).
11. C.A. Petri, "Forgotten topics" of net theory, in: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Lecture Notes in Computer Science, Vol. 255 (Springer, Berlin, 1987) 500-514.
12. C.A. Petri and E. Smith, Concurrency and continuity, in: Advances in Petri Nets 1987, Lecture Notes in Computer Science, Vol. 266 (Springer, Berlin, 1987) 273-292.
13. W. Reisig, Petri-Nets (Springer, Berlin, 1985).
14. G. Rozenberg and P.S. Thiagarajan, Petri nets: basic notions, structure, behaviour, in: Current Trends in Concurrency, Lecture Notes in Computer Science, Vol. 224 (Springer, Berlin, 1986) 585-668.
15. C.L. Seitz, Ideas about arbiters, Lambda (1980) 10-14.
16. E. Smith, Kausalität und Temporalität bei der Modellbildung, in: 4. Symp. Simulationstechnik, Informatik-Fachberichte, Vol. 150 Zürich (Springer, Berlin, 1987) 127-134.
17. E. Smith, Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme, Berichte der GMD, Vol. 180 (Oldenbourg-Verlag, München, 1989).
18. E. Smith, On net systems generated by process foldings, in: Advances in Petri Nets 1991, Lecture Notes in Computer Science, Vol. 524 (Springer, Berlin, 1991) 253-276.
19. E. Smith, Comparability orders and measurement, in: Advances in Petri Nets 1993, Lecture Notes in Computer Science, Vol. 674 (Springer, Berlin, 1993) 371-405.
20. P. Thiagarajan, Elementary net systems, in: Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986, Part I, Lecture Notes in Computer Science, Vol. 254 (Springer, Berlin, 1987) 26-59.
21. S.A. Ward and R.H. Halstead, Computation Structures (McGraw Hill, New York, 1988).