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

Title: Merging and splitting Petri net models within distributed embedded controller design
Authors: Gomes, Luís
Costa, Anikó
Barros, João Paulo
Moutinho, Filipe
Pereira, Fernando
Keywords: model-based
Petri nets
code generation
Issue Date: 2013
Publisher: IGI Global
Citation: L. Gomes, A. Costa, J. P. Barros, F. Moutinho, and F. Pereira, "Merging and Splitting Petri Net Models within Distributed Embedded Controller Design," in Embedded Computing Systems: Applications, Optimization, and Advanced Design, ed: IGI Global, 2013, pp. 160-183.
Abstract: Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).
Peer reviewed: yes
Publisher version:
Appears in Collections:D-ENG - Livros e Capítulo de livro

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.