Merging and splitting Petri net models within distributed embedded controller design

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 implem...

ver descrição completa

Detalhes bibliográficos
Autor principal: Gomes, Luís (author)
Outros Autores: Costa, Anikó (author), Barros, João Paulo (author), Moutinho, Filipe (author), Pereira, Fernando (author)
Formato: bookPart
Idioma:eng
Publicado em: 2014
Assuntos:
model-based
composition
IOPT
Petri nets
Non-autonomous
verification
code generation
GALS
Texto completo:http://hdl.handle.net/20.500.12207/704
País:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/704

Texto Completo

http://hdl.handle.net/20.500.12207/704

Registos relacionados