Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CPN Tools Homepage: http://cpntools.org/
The Coloane tool Homepage, https://coloane.lip6.fr/
The CPN-AMI Homepage, http://move.lip6.fr/software/CPNAMI/
Choppy, C., Dedova, A., Evangelista, S., Hong, S., Klai, K., Petrucci, L.: The NEO protocol for large-scale distributed database systems: Modelling and initial verification. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 145–164. Springer, Heidelberg (2010)
Choppy, C., Dedova, A., Evangelista, S., Klaï, K., Petrucci, L., Youcef, S.: Modelling and formal verification of the NEO protocol. In: Jensen, K., van der Aalst, W.M., Ajmone Marsan, M., Franceschinis, G., Kleijn, J., Kristensen, L.M. (eds.) Transactions on Petri Nets and Other Models of Concurrency VI. LNCS, vol. 7400, pp. 197–225. Springer, Heidelberg (2012)
Choppy, C., Petrucci, L., Reggio, G.: A modelling approach with coloured Petri nets. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026, pp. 73–86. Springer, Heidelberg (2008)
Denaro, G., Pezzé, M.: Petri nets and software engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 439–466. Springer, Heidelberg (2004)
Desel, J., Petrucci, L.: Aggregating views for Petri net model construction. In: Proc. Workshop on Petri Nets and Distributed Systems, PNDS 2008, Associated with Petri Nets 2008, pp. 17–31. Xi’an, China (2008)
Duri, S., Buy, U., Devarapalli, R., Shatz, S.M.: Application and experimental evaluation of state space reduction methods for deadlock analysis in ada. ACM Trans. Softw. Eng. Methodol. 3(4), 340–380 (1994)
Evangelista, S.: High Level Petri Nets Analysis with Helena. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 455–464. Springer, Heidelberg (2005)
Farooq, U., Lam, C.P., Li, H.: Transformation methodology for UML 2.0 activity diagram into colored Petri nets. In: Proceedings of the Third Conference on IASTED International Conference: Advances in Computer Science and Technology, ACST 2007, Anaheim, CA, USA, pp. 128–133. ACTA Press (2007)
Kerkouche, E., Chaoui, A., Bourennane, E.-B., Labbani, O.: A uml and colored petri nets integrated modeling and analysis approach using graph transformation. Journal of Object Technology 9(4), 25–43 (2010)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Springer (1992)
Saldhana, J.A., Shatz, S.M.: Uml diagrams to object petri net models: An approach for modeling and analysis. In: International Conference on Software Engineering and Knowledge Engineering, pp. 103–110 (2000)
The CosyVerif group. CosyVerif Web page, http://www.cosyverif.org
Voron, J., Kordon, F.: Transforming Sources to Petri Nets: A Way to Analyze Execution of Parallel Programs. In: International Workshop on Petri Nets Tools and APplications (PNTAP), pp. 1–10. ACM (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dedova, A., Petrucci, L. (2013). From Code to Coloured Petri Nets: Modelling Guidelines. In: Koutny, M., van der Aalst, W.M.P., Yakovlev, A. (eds) Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science, vol 8100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40465-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-40465-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40464-1
Online ISBN: 978-3-642-40465-8
eBook Packages: Computer ScienceComputer Science (R0)