Abstract
This paper focus on the modelling of reactive systems, more particularly, control systems. A set of guidelines is proposed in order to build models that support analysis, simulation and prototyping. The guidelines are split in two parts; the analysis of a problem is addressed first, followed by the design with Coloured Petri Nets (CPNs). A smart library example is used as case study. The models developed under this approach turn out to be modular, parameterisable, configurable and executable.
This work is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-015095.
This is a preview of subscription content, log in via an institution to check access.
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
Coad, P., Yourdon, E.: Object-oriented analysis, 2nd edn. Yourdon Press (1990)
Denaro, G., Pezzé, M.: Petri nets and software engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 439–466. Springer, Heidelberg (2004)
Douglass, B.P.: Real-time UML: Developing efficient objects for embedded systems. Addison-Wesley (2000)
Elkoutbi, M., Keller, R.K.: Modeling interactive systems with hierarchical colored Petri nets. In: Proceedings of the 1998 Advanced Simulation Technologies Conference, pp. 432–437 (1997)
Fernandes, J.M., Jørgensen, J.B., Tjell, S., Baek, J.: Requirements engineering for reactive systems: Coloured petri nets for an elevator controller. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 294–301. IEEE Computer Society (2007), doi:10.1007/s11334-009-0075-6
Fernandes, J.M., Tjell, S., Jørgensen, J.B., Ribeiro, O.: Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured Petri net. In: Proceedings of the 6th International Workshop on Scenarios and State Machines (SCESM 2007). IEEE Computer Society Press (2007), doi:10.1109/SCESM.2007.1
Girault, C., Valk, R.: Petri nets for system engineering: A guide to modeling, verification, and applications. Springer (2001)
Harel, D., Politi, M.: Modeling reactive systems with Statecharts: The Statemate approach, 1st edn. McGraw-Hill (1998)
Jackson, M.: Problem frames analyzing and structuring software development problems. Addison-Wesley (2001)
Jensen, K.: Coloured Petri nets basic concepts, analysis methods and practical use. Monographs in Theoretical Computer Science, vol. 1. Springer (1992)
Jensen, K., Kristensen, L.M.: Coloured Petri nets: Modelling and validation of concurrent systems. Springer (2009)
Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Software Tools for Technology Transfer 9(3-4), 213–254 (2007), doi:10.1007/s10009-007-0038-x
Jørgensen, J.B., Tjell, S., Fernandes, J.M.: Formal requirements modelling with executable use cases and coloured Petri nets. Innovations in Systems and Software Engineering 5(1), 13–25 (2009), doi:10.1007/s11334-009-0075-6
Saldhana, J.A., Shatz, S.M.: UML Diagrams to object Petri net models: An approach for modeling and analysis. In: Proceedings of the International Conference on Software Engineering & Knowledge Engineering (SEKE 2000), pp. 103–110 (2000)
Silva, J.L., Campos, J.C., Harrison, M.D.: An infrastructure for experience centered agile prototyping of ambient intelligence. In: Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2009), pp. 79–84. ACM (2009), doi:10.1145/1570433.1570450
Silva, J.L., Ribeiro, O.R., Fernandes, J.M., Campos, J.C., Harrison, M.D.: The APEX framework: Prototyping of ubiquitous environments based on Petri nets. In: Proceedings of the 3rd International Conference on Human-Centred Software Engineering (HCSE 2010), pp. 6–21. Springer (2010), doi:10.1007/978-3-642-16488-0_2
Ward, P.T., Mellor, S.J.: Structured development for real-time systems. Essential modeling techniques, vol. II. Pearson Education (1986)
Wieringa, R.J.: Design methods for reactive systems - Yourdon, Statemate, and the UML. Morgan Kaufmann (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gonçalves, M., Fernandes, J.M. (2013). Guidelines for Modelling Reactive Systems with Coloured Petri Nets. In: Machado, R.J., Maciel, R.S.P., Rubin, J., Botterweck, G. (eds) Model-Based Methodologies for Pervasive and Embedded Software. MOMPES 2012. Lecture Notes in Computer Science, vol 7706. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38209-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-38209-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38208-6
Online ISBN: 978-3-642-38209-3
eBook Packages: Computer ScienceComputer Science (R0)