Takashi Hattori Hiroshi Kawakami Osamu Katai Takayuki Shiose Analyzing Decentralized Governability of Business Processes by Extended Petri Nets and Modal Logics. 29-36 2008 ICE-B conf/icete/2008 db/conf/icete/ice-b2008.html#HattoriKKS08