Abstract
When designing a complex system with critical requirements (e.g. for safety issues), formal models are often used for analysis prior to costly hardware/software implementation. However, writing the formal specification starting from the textual description is not easy. An approach to this problem has been developed in the context of algebraic specifications [CR06], and was later adapted to Petri nets [CP04, CPR07]. Here, we show how such a method, with precise and detailed guidelines, can be applied for writing modular coloured Petri nets. This is illustrated on a model railway case study, where modules are a key aspect.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Berthelot, G., Petrucci, L.: Specification and validation of a concurrent system: An educational project. Journal of Software Tools for Technology Transfer 3(4), 372–381 (2001)
Choppy, C., Petrucci, L.: Towards a methodology for modelling with Petri nets. In: Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2004, pp. 39–56 (2004) Report DAIMI-PB 570, Aarhus, DK
Choppy, C., Petrucci, L., Reggio, G.: Designing coloured Petri net models: a method. In: Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark (October 2007)
Choppy, C., Reggio, G.: A formally grounded software specification method. Journal of Logic and Algebraic Programming 67(1-2), 52–86 (2006)
Coad, P., Yourdon, E.: Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs (1991)
Jensen, K., Kristensen, L., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Journal of Software Tools for Technology Transfer 9(3-4), 213–254 (2007)
Kindler, E.: Modular PNML revisited: Some ideas for strict typing. In: Proc. AWPN 2007, Koblenz, Germany (September 2007)
Petrucci, L.: ISO/IEC 15909 — Part 3: Extensions (November 2007) Working document of ISO/IEC JTC1-SC7-WG19, ref. PA2-018
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choppy, C., Petrucci, L., Reggio, G. (2008). A Modelling Approach with Coloured Petri Nets. In: Kordon, F., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2008. Ada-Europe 2008. Lecture Notes in Computer Science, vol 5026. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68624-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-68624-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68621-7
Online ISBN: 978-3-540-68624-8
eBook Packages: Computer ScienceComputer Science (R0)