MODELLING FLEXIBLE MANUFACTURING SYSTEMS - Modelling with Generalised Stochastic Petri Nets - page 198

choice

part a

part b

inM 1

outM 1

outM 1

waitAGV 2

mv 1−23

idleAGV

mv 1−23

inM 23 inM 23

inM 2 inM 2 inM 3 inM 3

idleM 2 idleM 3

busyM 2 busyM 2 busyM 3 busyM 3

outM 2 outM 2 outM 3 outM 3

outM 23

waitAGV

mv LU mv mv LU mv

Figure 8.15: GSPN model used for the computation of the throughput

bounds