Name
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). |
Year | DOI | Venue |
|---|---|---|
2015 | 10.5220/0005513000880094 | SIMULTECH |
Field | DocType | Citations |
Petri net,Business process,Fault detection and isolation,Computer science,Real-time computing,Reachability,State space,Computational complexity theory,Distributed computing,Formal verification,Debugging | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Vasilii Ganishev | 1 | 0 | 0.68 |
| Olga Fengler | 2 | 3 | 2.31 |
| Wolfgang Fengler | 3 | 11 | 9.42 |