A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography. - Toshiyuki Miyamoto; Yasuwo Hasegawa (PNSE, 2012)

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