Description of the «Kanban» model
This Petri net is extracted a benchmark used for SMART. It models a kanban system.
The figure above shows this model with a marking set up for 5.
Scale factor
The scale factor is a value that changes the initial marking of places P1, P2 and P3 and P4. Proposed instances use the following values: 5, 10, 20, 50, 100, 200, 500, 1000.
Model files
PNML files and a set of properties respecting the BNF we propose are available in the submission kit.
