Guidelines for modelling reactive systems with coloured Petri nets

• Autor(es): Madalena, Gonçalves ; Fernandes, João M.
• Data: 2013
• Identificador Persistente: http://hdl.handle.net/1822/23987
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Reactive systems; Coloured Petri Nets; Modelling
• Tipo de Documento: Documento de conferência
• Idioma: Inglês

Descrição

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.