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

acessibilidade

http://hdl.handle.net/123456789/704
wcag
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
composition
IOPT
Petri nets
Non-autonomous
verification
code generation
GALS
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
URI: https://repositorio.ipbeja.pt/handle/123456789/704
Publisher version: http://dx.doi.org/10.4018/978-1-4666-3922-5.ch009
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.