Skip to content
flowss
Start freeChecking your session
Petri Nets templates

Petri Net — AGV Fleet Charging Bays

Token model of an automated warehouse where six robots contend for two charging bays, so the bay place is the semaphore that decides how many can charge at once.

Petri NetsFlow & ProcessPetri Nets syntax docs
Template previewPetri Nets
AGV fleet contending for two charging bays6AGVs on task≤6Battery below 20%≤6Free charging bays≤2On charge≤2Battery falls below 2…enabledDock into a free bayCharge complete, undo…Reachable markings184 places · 3 transitionsTerminatesneverruns for everLive transitions3/3every one firesSafe places0/4bound ≤ 1 tokenConservation laws2every place covered18 reachable markings, 4 places, 3 transitions — bounded, deadlock-free, and every transition fires.Conservation law: AGVs on task + Battery below 20% + On charge = 6, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not o…Conservation law: Free charging bays + On charge = 2, at every reachable marking, for ever. No firing of any transition can change it — that is proved from the incidence matrix, not observed over a…

Make it your own.

title AGV fleet contending for two charging bays

place onTask tokens 6 "AGVs on task"
place lowBattery tokens 0 "Battery below 20%"
place freeBay tokens 2 "Free charging bays"
place charging tokens 0 "On charge"
transition drain "Battery falls below 20%"
transition dock "Dock into a free bay"
transition release "Charge complete, undock"

onTask -> drain
drain -> lowBattery
lowBattery -> dock
freeBay -> dock
dock -> charging
charging -> release
release -> onTask
release -> freeBay