Vol-1590⫷ Vol-1591 ⫸Vol-1592
urn:nbn:de:0074-1591-0


Vol-1591/paper21⫷Vol-1591/paper22⫸Vol-1591/paper23
Toshiyuki Miyamoto

CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets