Toshiyuki Miyamoto. CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets. In Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. Volume 1591 of CEUR Workshop Proceedings, pages 335-340, CEUR-WS.org, 2016. [doi]
Abstract is missing.