Flow diagrams to Petri nets

This document describes how the FD2PN component has been reused for several workflow languages. This component features a reusable transformation from a Workflow concept to a Petri net, which is able to deal with several of the patterns defined in the Workflow patterns catalog.

The menu provides links to the different artefacts of the case study.

Code for Bentō:

Petri net concept

The Petri net concept is shown next. It represents a simple Petri net, made of places and transitions. This is one of the many possible variants for a Petri net meta-model, but its simplicity make it suitable to be a concept. In case it is not bound, the concept behaves as a regular meta-model, and thus the execution of the transformation will just generate instances of this meta-model.