Guidelines for Modelling Reactive Systems with Coloured Petri Nets

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.

[1]  O. Ribeiro,et al.  Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net , 2007, Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007).

[2]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[3]  Michael D. Harrison,et al.  An infrastructure for experience centered agile prototyping of ambient intelligence , 2009, EICS '09.

[4]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[5]  João M. Fernandes,et al.  Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[6]  Roel Wieringa,et al.  Design methods for reactive systems - Yourdon, Statemate, and the UML , 2003 .

[7]  João M. Fernandes,et al.  The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets , 2010, HCSE.

[8]  Mohammed Elkoutbi,et al.  MODELING INTERACTIVE SYSTEMS WITH HIERARCHICAL COLORED PETRI NETS , 1997 .

[9]  Bruce Powell Douglass,et al.  Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .

[10]  Bruce Powel Douglass.  Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

[11]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[12]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[13]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[14]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[15]  João M. Fernandes,et al.  Formal requirements modelling with executable use cases and coloured Petri nets , 2009, Innovations in Systems and Software Engineering.

[16]  Giovanni Denaro,et al.  Petri Nets and Software Engineering , 2003, Lectures on Concurrency and Petri Nets.

[17]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[18]  Edward Yourdon,et al.  Object-oriented analysis (2nd ed.) , 1991 .

[19]  John Anil Saldhana.  UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis , 2000 .

[20]  R. J. Wieringa.  Chapter 1 – Reactive Systems , 2003 .

[21]  Helen M. Edwards,et al.  Problem frames: analyzing and structuring software development problems , 2002, Softw. Test. Verification Reliab..