1. Implementation

1.1 Model transformation

The modeled and verified application meets expectations, but its implementation may require modifications. For example, it may be sufficient to consider that the basic activities used in the modeling are physically distributed over several separate pieces of equipment. A distributed implementation of the Petri net is then necessary to take account of this reality.

The transformation of the resulting model can be considered from several angles.

1.1.1 Functional decomposition...