INTRODUCTION - Modelling with Generalised Stochastic Petri Nets - page 6

p active

t request

p requesting

p idle

t start

p accessing p busy

t end

Figure 1.3: PN description of the user access to a resource

p active 1 p active 2

t request 1 t request 2

p idle

p requesting 1 p requesting 2

t start 1 t start 2

p accessing 1 p accessing 2

p busy

t end 1 t end 2

Figure 1.4: PN description of two users accessing a shared resource