Fault Detection by Backwards Analysis in Coloured Workflow Nets

Vasilii Ganishev, Olga Fengler, Wolfgang Fengler

2015

Abstract

The increasing complexity of the business processes requires automated methods for trouble-shooting and debugging of the process model in operation. This paper proposes mechanism of fault detection based on the concept of backwards reachability for the coloured workflow nets. The formal verification methods defined for coloured Petri nets such as state space method or place invariants declaration suffer from fast-growing computational complexity. The article offers the set of firing rules for backwards token-play on coloured workflow net. This method helps to detect resource-related failures of the two most common types: ”the missing arc” fault (the resource was not initialized) and ”wrong expression fault” (there is no proper resource).

Paper Citation

in Harvard Style

Ganishev V., Fengler O. and Fengler W. (2015). Fault Detection by Backwards Analysis in Coloured Workflow Nets . In Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-120-5, pages 88-94. DOI: 10.5220/0005513000880094

in Bibtex Style

@conference{simultech15,
author={Vasilii Ganishev and Olga Fengler and Wolfgang Fengler},
title={Fault Detection by Backwards Analysis in Coloured Workflow Nets},
booktitle={Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2015},
pages={88-94},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005513000880094},
isbn={978-989-758-120-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Fault Detection by Backwards Analysis in Coloured Workflow Nets
SN - 978-989-758-120-5
AU - Ganishev V.
AU - Fengler O.
AU - Fengler W.
PY - 2015
SP - 88
EP - 94
DO - 10.5220/0005513000880094