Book Chapter10.1007/978-3-642-15898-8_14
Automatic structure-based code generation from coloured Petri nets: a proof of concept
Lars Michael Kristensen,Michael Westergaard +1 more
- 20 Sep 2010
- Vol. 6371, pp 215-230
20
TL;DR: Process-Partitioned CPNs (PP-CPNs) is introduced which is a subclass of CPN's equipped with an explicit separation of process control flow, message passing, and access to shared and local data.
read more
Abstract: Automatic code generation based on Coloured Petri Net (CPN) models is challenging because CPNs allow for the construction of abstract models that intermix control flow and data processing, making translation into conventional programming constructs difficult.We introduce Process-Partitioned CPNs (PP-CPNs) which is a subclass of CPNs equipped with an explicit separation of process control flow, message passing, and access to shared and local data. We show how PP-CPNs caters for a four phase structure-based automatic code generation process directed by the control flow of processes. The viability of our approach is demonstrated by applying it to automatically generate an Erlang implementation of the Dynamic MANET On-demand (DYMO) routing protocol specified by the Internet Engineering Task Force (IETF).
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
Dirk Fahland,Christian Gierds +1 more
- 17 Jun 2013
TL;DR: A translation of Enterprise Integration Patterns into a Coloured Petri Net allows to investigate and improve middleware system designs in early stages of development in a number of use cases, including validation and performance analysis using simulation.
CPN Tools 4 : a process modeling tool combining declarative and imperative paradigms
Michael Westergaard,Tijs Slaats +1 more
- 01 Jan 2013
TL;DR: This work shows how it is possible to create models incorporating declarative and imperative constructs and how to use these models to generate simulation logs that can be directly imported into ProM, and introduces an explicit process perspective on top of colored Petri nets.
Development and Validation of a Distance Measurement System in Metro Lines
Haifeng Song,Eckehard Schnieder +1 more
TL;DR: A formal approach is presented for the development and verification of a new metro train-to-train distance measurement system based on the spread-spectrum technology to accomplish distance measurement.
21
Generating Protocol Software from CPN Models Annotated with Pragmatics
Kent Inge Fagerland Simonsen,Kent Inge Fagerland Simonsen,Lars Michael Kristensen,Ekkart Kindler +3 more
- 29 Sep 2013
TL;DR: This paper proposes a method for generating protocol software from a class of CPN models annotated with code generation pragmatics, and illustrates the method using a unidirectional data framing protocol.
15
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets
TL;DR: An approach for automatic extraction of models of parallel algorithms and programs where processes communicate via shared memory is described, supporting extracting a model from an abstract description and generation of correct implementation code.
References
•Book
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Kurt Jensen,Lars Michael Kristensen +1 more
- 01 Jul 2009
TL;DR: This textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail and provides a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical Use of CPD for design, specification, simulation, verification and implementation in various application domains.