1. E. Best, A Theorem on the Characteristics of Non-sequential Processes. Fundamenta Informaticae, Vol. 3, (1980), 77–94.

   Google Scholar 

2. E. Best and A. Merceron, Some Properties of Non-sequential Processes. GMD-ISF report 82.07, Schloβ Birlinghoven, 5205 St. Augustin W. Germany (1982).

   Google Scholar 

3. C. Fernandez and P.S. Thiagarajan, D-continuous Causal Nets: A Model of Non-sequential Processes. GMD-ISF report 82.05, Schloβ Birlinghoven, 5205 St. Augustin W. Germany (1982). Also to appear in TCS.

   Google Scholar 

4. A.W. Holt et al., Information System Theory Project. Final Report, RADC-TR-G8-305, Applied Data Research Inc., Princeton, New Jersey, USA (1968).

   Google Scholar 

5. M. Nielson, G. Plotkin and G. Winskel, Petri Nets, Event Structures and Domains, Part I, Theoretical Computer Science 13 (1981), 85–108.

   Article  Google Scholar 

6. C.A. Petri, Non-sequential Processes, Interner Bericht ISF-77-5, GMD, Schloβ Birlinghoven, 5205 St. Augustin, W. Germany (1977).

   Google Scholar 

7. C.A. Petri, Concurrency. Lecture Notes in Computer Science, Ed. W. Brauer, Vol. 84, 251–260, Springer Verlag (1980).

   Google Scholar 

8. J. Winkowski, Behaviours of Concurrent Systems, Theoretical Computer Science 12 (1980), 39–60.

   Google Scholar 

9. G. Winskel, Events in Computation, Ph.D. Thesis, University of Edinburgh, Edinburgh, Great Britain (1980).

   Google Scholar 

Download references