Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs) that is the realization of previous work [17, 19, 18]. The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different levels of abstraction. The elements of the models are annotated with code generation pragmatics enabling PetriCode to use a template based approach to generate code while keeping the models uncluttered.
|Series||DTU Compute-Technical Report-2013|