Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/23987
Título: | Guidelines for modelling reactive systems with coloured Petri nets |
Autor(es): | Madalena, Gonçalves Fernandes, João M. |
Palavras-chave: | Reactive systems Coloured Petri Nets Modelling |
Data: | Mai-2013 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/23987 |
ISBN: | 978-3-642-38208-6 |
DOI: | 10.1007/978-3-642-38209-3_8 |
ISSN: | 0302-9743 |
Versão da editora: | http://link.springer.com/chapter/10.1007/978-3-642-38209-3_8 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2012-MOMPES-Springer.pdf | Artigo | 220,49 kB | Adobe PDF | Ver/Abrir |