An incremental Petri Net-derived approach to modeling of flow and resources in service-oriented manufacturing systems

In order to overcome the myopia problem, routing strategies must be based on formal representations of flow that automatically account for modifications in the values of parameters of interest and in the model itself. This work addresses this problem and discusses how to automatically incorporate resources (e.g. workstations/ transportation devices/ storages) in a Petri Net-derived model of flow that is modifiable at runtime to reflect and influence the routing in a manufacturing line.