Elementary Net Systems

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.