This paper presents a method for designing a coloured Petri net model of a system starting from its high-level object oriented source code. The entire process is divided into two parts: grounding and code analysis. For each part detailed step-by-step guidelines are given. The approach is illustrated with an industrial application case study, the NEO protocol. © 2013 Springer-Verlag.
CITATION STYLE
Dedova, A., & Petrucci, L. (2013). From code to coloured Petri nets: Modelling guidelines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8100 LNCS, pp. 71–88). https://doi.org/10.1007/978-3-642-40465-8_4
Mendeley helps you to discover research relevant for your work.