Model composition by reusing Petri net based modules

In the last decades, embedded system controllers design is facing sustainable increasing complexity. This brings new challenges that can benefit from model based development approaches. Petri nets are one of the formalisms suitable to be used as system specification language. This paper proposes a m...

Full description

Bibliographic Details
Main Author: Costa, Aniko (author)
Other Authors: Gomes, Luís (author), Barros, João Paulo (author)
Format: conferenceObject
Language:eng
Published: 2013
Subjects:
Online Access:http://hdl.handle.net/20.500.12207/652
Country:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/652