Select Git revision
bpn4.bpn 745 B
// batch petri net
model test;
length unity= m ;
time unity = s;
network description
places
place BP (batch)
function (5, 15, 15) // speed, density, length
initial marking {} //length, density, poistion
output arc CTOut
place CPCap (continuous)
initial marking {225}
output arc CTIn
place CPIn (continuous)
initial marking {175}
output arc CTIn
place CPOut (continuous)
initial marking {0}
transitions
transition DTIn (discrete)
timing (4)
output arc CPIn (40)
transition CTIn (batch)
flow (70)
output arc BP
transition CTOut (batch)
flow (30)
output arc CPCap
output arc CPOut