A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets. - Toshiyuki Miyamoto; Hiroyuki Oimura (PNSE+ModPE, 2013)

An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets. - Toshiyuki Miyamoto; Yasuwo Hasegawa; Hiroyuki Oimura (IEICE Trans. Inf. Syst., 2014)