Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/704
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gomes, Luís | - |
dc.contributor.author | Costa, Anikó | - |
dc.contributor.author | Barros, João Paulo | - |
dc.contributor.author | Moutinho, Filipe | - |
dc.contributor.author | Pereira, Fernando | - |
dc.date.accessioned | 2014-02-25T17:10:57Z | - |
dc.date.available | 2013 | - |
dc.date.available | 2014-02-25T17:10:57Z | - |
dc.date.issued | 2013 | - |
dc.identifier.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. | pt_PT |
dc.identifier.uri | http://hdl.handle.net/20.500.12207/704 | - |
dc.description.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). | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | IGI Global | pt_PT |
dc.rights | info:eu-repo/semantics/closedAccess | pt_PT |
dc.subject | model-based | pt_PT |
dc.subject | composition | pt_PT |
dc.subject | IOPT | pt_PT |
dc.subject | Petri nets | pt_PT |
dc.subject | Non-autonomous | pt_PT |
dc.subject | verification | pt_PT |
dc.subject | code generation | pt_PT |
dc.subject | GALS | pt_PT |
dc.subject.classification | CNAEF 481 | pt_PT |
dc.subject.classification | CNAEF 523 | pt_PT |
dc.subject.classification | FOS 1.2 | pt_PT |
dc.subject.classification | FOS 2.2 | pt_PT |
dc.subject.classification | Indexação Scopus | pt_PT |
dc.title | Merging and splitting Petri net models within distributed embedded controller design | pt_PT |
dc.type | bookPart | pt_PT |
dc.peerreviewed | yes | pt_PT |
dc.relation.publisherversion | http://dx.doi.org/10.4018/978-1-4666-3922-5.ch009 | pt_PT |
degois.publication.firstPage | 160 | pt_PT |
degois.publication.lastPage | 183 | pt_PT |
degois.publication.title | Embedded Computing Systems: Applications, Optimization e Advanced Design | pt_PT |
Appears in Collections: | D-ENG - Livros e Capítulo de livro |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.