Asynchronous wrappers configuration within GALS systems specified by Petri nets.

Filipe Moutinho Luís Gomes Anikó Costa José Pimenta

Published in: ISIE (2012)

Keyphrases

petri net
discrete event systems
state machines
manufacturing systems
complex systems
petri net model
embedded real time systems
distributed systems
expert systems
computer systems
state machine
colored petri nets
concurrent systems