Synthesis of state machine diagrams from communication diagrams using Petri nets. - Toshiyuki Miyamoto; Hiroyuki Kurahata; Taku Fujii; Ryoji Hosokawa (Innov. Syst. Softw. Eng., 2010)