Hardware Design and Petri Nets
Hardware Design and Petri Nets
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Model-based development of a course of action scheduling tool
International Journal on Software Tools for Technology Transfer (STTT)
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Mixing paradigms for more comprehensible models
BPM'13 Proceedings of the 11th international conference on Business Process Management
Hi-index | 0.00 |
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).