Thiagarajan, P. S. Elementary net systems. (English) Zbl 0636.68063 Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 26-59 (1987). [For the entire collection see Zbl 0619.00023.] Our aim will be to introduce and discuss the basic system model of net theory called condition/event systems. We shall start with a brief discussion of the twin notions of states and transitions as viewed within net theory. This will motivate the restrictions placed on the condition/event system model. We shall then introduce nets and construct condition/event systems with the help of nets. A major objective will be to use our system model to formalize the fundamental situations associated with the behaviour of a distributed system. In particular, we shall consider phenomena such as conflict (choice), concurrency and confusion. This will then lead to the identification of a number of interesting behavioural sub-classes of condition/event systems. Cited in 2 ReviewsCited in 14 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68N25 Theory of operating systems Keywords:elementary net systems; condition/event systems; distributed system; choice; concurrency; confusion Citations:Zbl 0619.00023 PDFBibTeX XML