Guidelines for modelling reactive systems with coloured Petri nets

Detalhes bibliográficos
Autor(a) principal: Madalena, Gonçalves
Data de Publicação: 2013
Outros Autores: Fernandes, João M.
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: http://hdl.handle.net/1822/23987
Resumo: 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.
id RCAP_13bbcb5fdb45eeb33b4cedb01d34d01c
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/23987
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Guidelines for modelling reactive systems with coloured Petri netsReactive systemsColoured Petri NetsModellingThis 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.FCTSpringerUniversidade do MinhoMadalena, GonçalvesFernandes, João M.2013-052013-05-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/23987eng978-3-642-38208-60302-974310.1007/978-3-642-38209-3_8http://link.springer.com/chapter/10.1007/978-3-642-38209-3_8info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T06:26:25Zoai:repositorium.sdum.uminho.pt:1822/23987Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:53:09.919947Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Guidelines for modelling reactive systems with coloured Petri nets
title Guidelines for modelling reactive systems with coloured Petri nets
spellingShingle Guidelines for modelling reactive systems with coloured Petri nets
Madalena, Gonçalves
Reactive systems
Coloured Petri Nets
Modelling
title_short Guidelines for modelling reactive systems with coloured Petri nets
title_full Guidelines for modelling reactive systems with coloured Petri nets
title_fullStr Guidelines for modelling reactive systems with coloured Petri nets
title_full_unstemmed Guidelines for modelling reactive systems with coloured Petri nets
title_sort Guidelines for modelling reactive systems with coloured Petri nets
author Madalena, Gonçalves
author_facet Madalena, Gonçalves
Fernandes, João M.
author_role author
author2 Fernandes, João M.
author2_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Madalena, Gonçalves
Fernandes, João M.
dc.subject.por.fl_str_mv Reactive systems
Coloured Petri Nets
Modelling
topic Reactive systems
Coloured Petri Nets
Modelling
description 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.
publishDate 2013
dc.date.none.fl_str_mv 2013-05
2013-05-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/23987
url http://hdl.handle.net/1822/23987
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 978-3-642-38208-6
0302-9743
10.1007/978-3-642-38209-3_8
http://link.springer.com/chapter/10.1007/978-3-642-38209-3_8
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595603521634304

Registros relacionados