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
Modeling Erlang processes as Petri nets
Jörgen Brandt,Wolfgang Reisig +1 more
- 29 Sep 2018
TL;DR: This work introduces gen_pnet, a behavior for designing Erlang processes as Petri nets, a short introduction to Petri net semantics, and demonstrates how Erlang applications can be modeled asPetri nets.
1
Towards Reliable Cloud Systems
Thanh Do
- 01 Jan 2014
TL;DR: As recovery is currently under-specified, especially when handling multiple failures, this dissertation improves the state-of-the-art of cloud recovery testing by introducing a novel framework: FATE (Failure Testing Service) and DESTINI (Declarative Testing Specifications).
1
Research and Implementation of Petri Nets Parallelization Model
Xuan Wang,Wenjing Li,Ze-Yu Tang,Weizhi Liao +3 more
- 24 Nov 2014
TL;DR: The experimental results show that parallel algorithm based on Petri net system model is correct and feasible and can effectively simulate the actual operation of the system and is an effective model of PetriNet parallelization system.
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
Lars Michael Kristensen,Kent Inge Fagerland Simonsen,Kent Inge Fagerland Simonsen +2 more
- 01 Jan 2013
TL;DR: The practical application of CPNs for protocol validation is illustrated by focusing on selected aspects of four recent projects involving industrial-sized protocols, and how behavioural visualisation in combination with a CPN model provides an effective way of rapidly constructing an executable prototype of a protocol design.
Mixing paradigms for more comprehensible models
Michael Westergaard,Tijs Slaats +1 more
- 26 Aug 2013
TL;DR: The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes.
References
•Book
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Claude Girault,Rüdiger Valk +1 more
- 08 Jan 2013
TL;DR: In this article, the main phases in the life cycle of design and implementation of a system are discussed in detail including practical issues, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
491
•Book
On the Move to Meaningful Internet Systems 2005: Coopis, DOA, and Odbase
Robert Meersman,Zahir Tari +1 more
- 01 Jan 2008
TL;DR: The role of Foundational Ontologies in Manufacturing Domain Applications and Intellectual Property Rights Management using a Semantic Web Information System are discussed.
374
•Book
Petri nets for systems engineering
Claude Girault,Rüdiger Valk +1 more
- 01 Jan 2002
TL;DR: In this book abstraction is used to create larger nets from smaller ones, and this kind of abstraction will be represented graphically as shown in Figure 2.13c.
310
•Journal Article
On the move to meaningful Internet systems 2004 : CoopIS, DOA, and ODBASE : OTM confederated international conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004 : proceedings (part II)
TL;DR: Cooperative Information Systems (CoopIS) 2004 International Conference (International Conference on Cooperative Information Systems) PC Co-chairs' Message- Keynote- Business Process Optimization- Workflow/Process/Web Services, I- Discovering Workflow Transactional behavior from Event-based Log- A Flexible Mediation Process for Large Distributed Information Systems- Exception Handling Through a Workflow- WorkFlow/Process, Web Services, II- Flexible and Composite Schema Matching Algorithm- Analysis, Transformation, and Improvements of ebXML Choreographies based on Work
309