Toshiyuki Miyamoto, Yasuwo Hasegawa. A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography. In Lawrence Cabac, Michael Duvigneau, Daniel Moldt, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012. Volume 851 of CEUR Workshop Proceedings, pages 222-236, CEUR-WS.org, 2012. [doi]
Abstract is missing.