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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-05-11T06:26:25Zoai:repositorium.sdum.uminho.pt:1822/23987Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-05-11T06:26:25Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv mluisa.alvim@gmail.com
_version_ 1817544973065650176

Registros relacionados