Petri Net based specification and verification of globally-asynchronous-locally-synchronous system

This paper shows a methodology for Globally-Asynchronous-Locally-Synchronous (GALS) systems specification and verification. The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model. These modules are represented using IOPT (I...

ver descrição completa

Detalhes bibliográficos
Autor principal: Moutinho, Filipe (author)
Outros Autores: Gomes, Luís (author), Barbosa, Paulo (author), Barros, João Paulo (author), Ramalho, Franklin (author), Figueiredo, Jorge (author), Costa, Aniko (author), Monteiro, Andre (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2013
Assuntos:
GALS
Embedded systems
Petri Nets
Maude
Synchronous system
Texto completo:http://hdl.handle.net/20.500.12207/654
País:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/654

Texto Completo

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

Registros relacionados