×

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.

MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25 Theory of operating systems

Citations:

Zbl 0619.00023