Synthesis of state machine diagrams from communication diagrams using Petri nets

Toshiyuki Miyamoto, Hiroyuki Kurahata, Taku Fujii, Ryoji Hosokawa. Synthesis of state machine diagrams from communication diagrams using Petri nets. ISSE, 6(1-2):39-46, 2010. [doi]

Abstract

Abstract is missing.