Skip navigation
Please use this identifier to cite or link to this item:

Title: Model composition by reusing Petri net based modules
Authors: Costa, Aniko
Gomes, Luís
Barros, João Paulo
Keywords: Petri nets
Issue Date: 2012
Citation: Estilo IEEE: A. Costa, L. Gomes, and J. P. Barros, "Model composition by reusing Petri net based modules," in 38th Annual Conference on IEEE Industrial Electronics Society, 2012, pp. 6132-6137.
Abstract: In the last decades, embedded system controllers design is facing sustainable increasing complexity. This brings new challenges that can benefit from model based development approaches. Petri nets are one of the formalisms suitable to be used as system specification language. This paper proposes a method for model composition, starting from sub-models representing concurrent components, and relying on their composition using a bottom-up approach, while supporting the reusability of modules. This bottom-up approach is integrated with a previous top-down decomposition approach of the system model, using the net splitting operation, where sub-models associated with components are generated. In this sense, the proposed technique supports a balanced usage of top-down and bottom-up approaches to system modeling using model-based development of embedded system controllers where Petri nets play a central role.
Description: 38TH Annual Conference onN IEEE Industrial- Electronics-Society (IECON)Book Series:IEEE Industrial Electronics Society
Peer reviewed: yes
ISBN: 978-1-4673-2421-2
Appears in Collections:D-ENG - Comunicações com peer review

Files in This Item:
There are no files associated with this item.

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Currículo DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.