Automatic code generation from high-level Petri-Nets for model driven systems engineering

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

“…The approach presented by Philippi [14] is a hybrid of simulation-based and structural analysis approaches to code generation for HLPNs. The motivation for the hybrid approach is to produce more readable code than a pure simulation approach would because fewer checks are needed in the code.…”

Semantic-element-based Defining Approach for Model Transformation Rules

“…Any formalization language reflects a viewpoint that determines a set of modeling primitives and their semantics [9][10][11]. There is often a great difference between models at different abstract levels of the same system, and this situation is called isomeric features between different modeling descriptions in this paper.…”

“…The distance between them is more significant. The gap between the modeling languages can be narrowed using formalism extensions [11], but cannot be completely eliminated. The fundamental solutions for the problem of the gap seem to be the creation of effective semantics mapping mechanism, so to ensure that the equivalent representations for the system can be obtained [7,12].…”

Automated Information Systems Generation for Process-Oriented Organizations

“…Also, MDA, as proposed by OMG, demands the transformation of platform independent models into platform dependent models or into executable code. Since UML models are not yet semantically defined, other models, like Petri Nets, are necessary for automated code generation [23]. The existence of an organization reference model, embodying clients' requirements together with a proper language to express them, is crucial to transform the requirements model into running code.…”