Nonsequential Processes

[1]  W Lu,et al.  FROZEN TOKEN——A WAY TO TEST DISTRIBUTED SYSTEMS MODELED BY PETRI NETS , 1988 .

[2]  Astrid Kiehn.  On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets , 1988, J. Inf. Process. Cybern..

[3]  Roberto Gorrieri,et al.  An Exercise in Concurrency: a CSP Process as a Condition/ event System , 1988, European Workshop on Applications and Theory of Petri Nets.

[4]  Karl Martin Schmidt-Reindl,et al.  Notations and terminology on Petri Net theory , 1987 .

[5]  Eike Best.  COSY: Its Relation to Nets and CSP , 1986, Advances in Petri Nets.

[6]  C. A. Petri,et al.  Concurrency and continuity , 1986, European Workshop on Applications and Theory of Petri Nets.

[7]  P. S. Thiagarajan,et al.  Notions of Realizable Non-Sequential Processes , 1986 .

[8]  Grzegorz Rozenberg.  Advances in Petri Nets 1987 , 1986, Lecture Notes in Computer Science.

[9]  Luca A. Castellano.  Beta processes of C/E systems , 1985, Applications and Theory in Petri Nets.

[10]  Wolfgang Reisig.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[11]  Helmut Plünnecke.  K-density, N-density and finiteness properties , 1984, European Workshop on Applications and Theory in Petri Nets.

[12]  Wolfgang Reisig,et al.  The Non-sequential Behavior of Petri Nets , 1983, Inf. Control..

[13]  C. A. Petri.  State-transition structures in physics and in computation , 1982 .

[14]  J. Grabowski,et al.  On partial languages , 1981, Fundam. Informaticae.

[15]  Glynn Winskel,et al.  Events in computation , 1980 .

[16]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains , 1979, Semantics of Concurrent Computation.

[17]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[18]  Henry G. Baker,et al.  Actors and Continuous Functionals , 1978, Formal Description of Programming Concepts.

[19]  Eike Best,et al.  A Theorem on the Characteristics of Non-sequential Processes , 1977 .

[20]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[21]  Anatol Holt,et al.  RESEARCH IN MACHINE-INDEPENDENT SOFTWARE PROGRAMMING. TASK AREA II. EVENTS AND CONDITIONS: AN APPROACH TO THE DESCRIPTION AND ANALYSIS OF DYNAMIC SYSTEMS , 1970 .

[22]  P. A. Grillet.  Maximal chains and antichains , 1969 .

[23]  D. Koenig.  Theorie Der Endlichen Und Unendlichen Graphen , 1965 .

[24]  E. C. Milner.  THE THEORY OF GRAPHS AND ITS APPLICATIONS , 1964 .

[25]  C. Petri.  Kommunikation mit Automaten , 1962 .