ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS

Takashi Hattori, Hiroshi Kawakami, Osamu Katai, Takayuki Shiose

2008

Abstract

We introduce a novel notion of decentralized governance structure of event-driven processes together with the notions of their behavioral and structural correctness. The ways for attaining correct process behavior, as well as the notion of decentralized governability, are examined based on temporal logical analyses of process behavior via Petri net representations of process structures. Also, the deontic and temporal logical prescriptions of normative constraints (tasks) on the processes are introduced that are then translated into extended hierarchical Petri net structures. The conflicts among these tasks are examined on this hierarchical structure.

Paper Citation

in Harvard Style

Hattori T., Kawakami H., Katai O. and Shiose T. (2008). ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS . In Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008) ISBN 978-989-8111-58-6, pages 29-36. DOI: 10.5220/0001907500290036

in Bibtex Style

@conference{ice-b08,
author={Takashi Hattori and Hiroshi Kawakami and Osamu Katai and Takayuki Shiose},
title={ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS},
booktitle={Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008)},
year={2008},
pages={29-36},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001907500290036},
isbn={978-989-8111-58-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008)
TI - ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS
SN - 978-989-8111-58-6
AU - Hattori T.
AU - Kawakami H.
AU - Katai O.
AU - Shiose T.
PY - 2008
SP - 29
EP - 36
DO - 10.5220/0001907500290036