Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net

Leiliane Rezende, Stéphane Julia

2015

Abstract

In this paper, an approach based on Siphon structures, possibilistic Petri nets and interorganizational WorkFlow nets is proposed to deal with deadlock situations in interorganizational business processes. A deadlock situation is characterized by an insufficiently marked Siphon. Possibilistic Petri nets with uncertainty on the marking and on the transition firing are used to ensure the existence of at least one transition firing sequence enabling the completion of the process without encountering the deadlock situation. Routing patterns and communication protocols that exist in business processes are modeled by interorganizational WorkFlow nets. Combining both formalisms, a kind of possibilistic WorkFlow net is obtained.

Paper Citation

in Harvard Style

Rezende L. and Julia S. (2015). Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-096-3, pages 429-439. DOI: 10.5220/0005347004290439

in Bibtex Style

@conference{iceis15,
author={Leiliane Rezende and Stéphane Julia},
title={Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2015},
pages={429-439},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005347004290439},
isbn={978-989-758-096-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net
SN - 978-989-758-096-3
AU - Rezende L.
AU - Julia S.
PY - 2015
SP - 429
EP - 439
DO - 10.5220/0005347004290439