Automatic structure-based code generation from coloured petri nets: A proof of concept

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6371 LNCS, Issue , 2010, Pages 215-230

  Kristensen, Lars Michael ^a   Westergaard, Michael ^b  

^a BERGEN UNIVERSITY COLLEGE   (Norway)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; AUTOMATIC CODE GENERATIONS; AUTOMATIC STRUCTURES; CODE GENERATION; COLOURED PETRI NETS; CONTROL FLOWS; INTERNET ENGINEERING TASK FORCES; LOCAL DATA; PROOF OF CONCEPT;

AUTOMATIC PROGRAMMING; DATA PROCESSING; FORMAL METHODS; GRAPH THEORY; INTERNET PROTOCOLS; MESSAGE PASSING; NETWORK COMPONENTS; PETRI NETS; PROGRAM TRANSLATORS; SOFTWARE AGENTS;

PROCESS CONTROL;

EID: 77958026647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15898-8_14     Document Type: Conference Paper

References (18)

1. Chakeres, I.D., Perkins, C.E.: Dynamic MANET On-demand (DYMO) Routing, version 14, Internet-Draft. Work in Progress (June 2008)
2. CPN Tools webpage, http://www.cs.au.dk/CPNTools/
3. The Erlang programming language, http://www.erlang.org/doc.html
4. Espensen, K.E., Kjendsen, M.K.: Automatic Code Generation from Process-Partitioned Coloured Petri Net Models. Master's thesis, Dept. of Computer Science, Aarhus University (2008)
5. Espensen, K.L., Kjeldsen, M.K., Kristensen, L.M.: Modelling and Initial Valida-tion of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. In: van Hee, K.M., Valk, R. (eds.) ATPN'08. LNCS, vol. 5062, pp. 152-170. Springer, Heidelberg (2008)
6. Espensen, K.L., Kjeldsen, M.K., Kristensen, L.M., Westergaard, M.: Towards Au-tomatic Code Generation from Process-Partitioned Coloured Petri Nets. In: Proc. of 10th CPN Workshop, pp. 41-60. Aarhus University (2009)
7. Examples of Industrial Use of CP-nets
8. http://www.cs.au.dk/CPnets/intro/example/indu.html
9. Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)
10. Jensen, K., Kristensen, L.M.: Coloured Petri Nets-Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
11. Kristensen, L.M., Mechlenborg, P., Zhang, L., Mitchell, B., Gallasch, G.E.: Model-based Development of COAST. STTT 10(1), 5-14 (2007)
12. Kristensen, L.M., Valmari, A.: Finding Stubborn Sets of Coloured Petri Nets With-out Unfolding. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 104-123. Springer, Heidelberg (1998)
13. Lassen, K.B., Tjell, S.: Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets. In: Proc. of 8th CPN Workshop. DAIMI-PB, vol. 584, pp. 127-146 (2007)
14. Mortensen, K.H.: Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. In: Nielsen, M., Simpson, D. (eds.) ATPN'00. LNCS, vol. 1825, pp. 367-386. Springer, Heidelberg (2000)
15. Philippi, S.: Automatic code generation from high-level Petri-Nets for model driven systems engineering. Journal of Systems and Software 79(10), 1444-1455 (2006)
16. van der Aalst, W.M.P., Jørgensen, J.B., Lassen, K.B.: Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 22-39. Springer, Heidelberg (2005)
17. Westergaard, M., Kristensen, L.M.: The Access/CPN Framework: A Tool for In-teracting With the CPN Tools Simulator. In: Franceschinis, G., Wolf, K. (eds.) ATPN 2009. LNCS, vol. 5606, pp. 313-322. Springer, Heidelberg (2009)
18. Yakovlev, A., Gomes, L., Lavagno, L.: Hardware Design and Petri Nets. Kluwer Academic Publishers, Dordrecht (2000)