Composing Automata for Modeling GALS Systems

A brief writeup on the principle of composing automata for modeling GALS Systems.

Web-based automata composition

Number of component automata :
Total number of clocks
Total number of synchronous events

Total number of ATDs

Click here to see an example

Team members ...