Model to Petri-Net transformation

A non-transitory computer-readable storage medium coupled to one or more processors and having instructions stored thereon which, when executed by the one or more processors, cause the one or more processors to perform operations for model-to-model transformation, the operations comprising:

• providing a source meta-model, the source meta-model having a plurality of classes and one or more references;
• receiving a first user input to a graphical editor;
• processing the first user input to define a transformation by providing a plurality of class modules and one or more reference modules, each class module corresponding to a class of the plurality of classes and comprising a module type and each reference module corresponding to a reference of the one or more references;
• automatically generating a transformation code based on the plurality of class modules and the one or more reference modules, the transformation code defining the transformation of a source model comprising a business process modeling notation into a petri-net model and using the module type of each class module to determine how and when to fuse the plurality of class modules of the source model based on a pattern of the plurality of class modules;
• receiving a source model, the source model being provided based on the source meta-model and being provided in a computer-readable file that is stored in memory;
• and
• generating a simulation model based on the source model and the transformation code.

A system comprising:

• a computing device;
• and
• a non-transitory computer-readable storage device coupled to the computing device and having instructions stored thereon which, when executed by the computing device, cause the computing device to perform operations for model-to-model transformation, the operations comprising:
• providing a source meta-model, the source meta-model having a plurality of classes and one or more references;
• receiving a first user input to a graphical editor;
• processing the first user input to define a transformation by providing a plurality of class modules and one or more reference modules, each class module corresponding to a class of the plurality of classes and comprising a module type and each reference module corresponding to a reference of the one or more references;
• automatically generating a transformation code based on the plurality of class modules and the one or more reference modules, the transformation code defining the transformation of a source model comprising a business process modeling notation into a petri-net model and using the module type of each, class module to determine how and when to fuse the plurality of class modules of the source model based on a pattern of the plurality of class modules;
• receiving a source model, the source model being provided based on the source meta-model and being provided in a computer-readable file that is stored in memory;
• and
• generating a simulation model based on the source model and the transformation code.