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

type

outLU b outLU a

part b part a

mv LU − 1 mv LU − 1

inM 1

wait 1

LU

inM 1

in S1

busyM 1 idleM 1

outM 1

load

f ree S1

in S1

outM 1

mv 1 − 2 mv 1 − 2

in S2 in S2

f ree S2

mv 2 − 3 mv 2 − 3

wait 2

inM 2

inM 2

inM 2

wait 2

inM 2

busyM 2 idleM 2

outM 2 busyM 2

in S3

f ree S3

outM 2

outM 2

outM 2

in S3

mv 3 − 4

mv 3 − 4

in S4 in S4

f ree S4

mv 4 − 5 mv 4 − 5

idleM 3

mv 4 − 5 inM 3

wait 3

inM 3

busyM 3 idleM 3

in S5

outM 3

in S5

f ree S5

outM 3

mv 5 − LU mv 5 − LU

Figure 8.13: GSPN model of a deadlock-free continuous transportation sys-
tem