4-Phase
to 2-Phase PTnet
17/3/2014
CE-653 - Handshake Templates Implementation
11
}Two Routes to
Implementation
}Reachability Graph –
Total Signal State Space
}MSFSMs – Multiple
Synchronised FSMs stemming from original PTnet specification