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...
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | conferenceObject |
| Idioma: | eng |
| Publicado em: |
2013
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/20.500.12207/652 |
| País: | Portugal |
| Oai: | oai:repositorio.ipbeja.pt:20.500.12207/652 |