Checking properties of adaptive workflow nets

K.M. Hee, van, O.I. Oanea, A. Serebrenik, N. Sidorova, M. Voorhoeve, I.A. Lomazova

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

17 Citaten (Scopus)
1 Downloads (Pure)


n this paper we consider adaptive workflow nets, a class of nested nets that allows more comfort and expressive power for modeling adaptability and exception handling in workflow nets. We define two important behavioural properties of adaptive workflow nets: soundness and circumspectness. Soundness means that a proper final marking (state) can be reached from any marking which is reachable from the initial marking, and no garbage will be left. Circumspectness means that the upper layer is always ready to handle any exception that can happen in a lower layer. We define a finite state abstraction for adaptive workflow nets and show that soundness and circumspectness can be verified on this abstraction.
Originele taal-2Engels
Pagina's (van-tot)347-362
TijdschriftFundamenta Informaticae
Nummer van het tijdschrift3-4
StatusGepubliceerd - 2007

Vingerafdruk Duik in de onderzoeksthema's van 'Checking properties of adaptive workflow nets'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N., Voorhoeve, M., & Lomazova, I. A. (2007). Checking properties of adaptive workflow nets. Fundamenta Informaticae, 79(3-4), 347-362.