ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS Topics: Multi-Agent Systems and Information Integration; Network and Service Management In Proceedings of the International Conference on e-Business - Volume 0ICETE, 29-36, 2008 , Porto, Portugal