CE653 – Handshake Channel Templates

Parallel Block - Implementation

17/3/2014

CE-653 - Handshake Templates Implementation

}Rreq simply forks to two requests

}Ack is join of acknowledgements

}1 C Element è 1 FSM

}What of the concurrency in original Ptnet?

}Where is it present in the single FSM?

Rreq

P1req

P2req

P1ack

Rack

P2ack


	Concurrency is at level of two outputs P1req, P2req (fork), as well as the ordering of the two inputs P1ack, P2ack.

	Thus, there is no real need for multiple FSMs to account for this concurrency.