Description of the «FMS» model
This Petri net is extracted a benchmark used for SMART. It models a flexible manufacturing 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 (M(P1)=M(P2)=M(P3)=N). Proposed instances use the following values: 2, 5, 10, 20, 50, 100, 200, 500.
Model files
PNML files and a set of properties respecting the BNF we propose are available in the submission kit.
