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

enterCell 1

IB 1

inM 1

BB 1

busyM 1 idleM 1

K 1

outM 1

OB 1

enterCell 2

IB 2

inM 2

BB 2

K 2

busyM 2 idleM 2

outM 2

OB 2

enterCell 3

BB 3

K 3

BB n−1

K n−1

enterCell n

IB n

inM n

BB n

busyM n idleM n

K n

outM n

OB n

exitCell n

Figure 8.3: GSPN model of an n-cell sequential Kanban system