A deadlock detection algorithm for business processes workflow models. - Tetsuya Maruta; Sen'ichi Onoda; Yoshitomo Ikkai; Takashi Kobayashi; Norihisa Komoda (SMC, 1998)

A description language based on multi-functional modeling and a supply chain simulation tool. - Tomoyuki Kitagawa; Tetsuya Maruta; Yoshitomo Ikkai; Norihisa Komoda (SMC, 2000)