Dear Behnaz,
if you remember you introduced me to reference document: Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani. Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). but in the ECT, extended automata is CASM (constraint automata with state memory), How are these state memories identified. Is there any document explains that how to extract this extended automata states, transitions and desired guards? I want to trace this algorithms by hand for some small Reo networks.
P.S. thanks for long term(about 1 years) answering to my lazy questioning
Regards
Alireza Farhadi