Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems.

Filipe Moutinho Luís Gomes

Published in: DoCEIS (2012)

Keyphrases

petri net
discrete event systems
state machines
manufacturing systems
petri net model
complex systems
data analysis
distributed systems
computer systems
service composition
telecommunication networks
asynchronous circuits
colored petri nets
stochastic petri net