Petri Net Tools for the Analysis of Collaborative Tasks. - Tad Gonsalves; Ryo Kawabata; Shunya Tabata; Kiyoshi Itoh (Trans. SDPS, 2008)