A Translation from Reo to Petri Nets and Vice-Versa

In this talk we discuss first steps towards a complete translation of Reo into Petri Nets. Reo is a channel-based exogenous coordination model wherein complex coordinators, called connectors, are compositionally built out of simpler ones. We present a translation that covers all Reo connectors build using a particular set of basic channels. In this talk we also present a translation from Petri Nets to Reo. This translation is complete for the Elementary Net System Petri Nets.  

hosted by