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

Full description

Bibliographic Details
Main Author: Gomes, Luís (author)
Other Authors: Costa, Anikó (author), Barros, João Paulo (author), Moutinho, Filipe (author), Pereira, Fernando (author)
Format: bookPart
Language:eng
Published: 2014
Subjects:
model-based
composition
IOPT
Petri nets
Non-autonomous
verification
code generation
GALS
Online Access:http://hdl.handle.net/20.500.12207/704
Country:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/704

Internet

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

Similar Items