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

Full description

Bibliographic Details
Main Author: Moutinho, Filipe (author)
Other Authors: Gomes, Luís (author), Barbosa, Paulo (author), Barros, João Paulo (author), Ramalho, Franklin (author), Figueiredo, Jorge (author), Costa, Aniko (author), Monteiro, Andre (author)
Format: conferenceObject
Language:eng
Published: 2013
Subjects:
GALS
Embedded systems
Petri Nets
Maude
Synchronous system
Online Access:http://hdl.handle.net/20.500.12207/654
Country:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/654

Internet

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

Similar Items