The biconnected verification of workflow nets

Polyvyanyy, Artem, Weidlich, Matthias, & Weske, Mathias (2010) The biconnected verification of workflow nets. In Meersman, Robert, Dillon, Tharam, & Herrero, Pilar (Eds.) Lecture Notes in Computer Science : On the Move to Meaningful Internet Systems : OTM 2010, Springer Berlin Heidelberg, Hersonissos, Crete, Greece, pp. 410-418.

View at publisher


Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information

Impact and interest:

1 citations in Scopus
Search Google Scholar™
1 citations in Web of Science®

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 70728
Item Type: Conference Paper
Refereed: Yes
Additional Information: Book Subtitle:
Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I
Additional URLs:
DOI: 10.1007/978-3-642-16934-2_29
ISBN: 9783642169335
ISSN: 0302-9743
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > DISTRIBUTED COMPUTING (080500)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Divisions: Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 30 Apr 2014 00:47
Last Modified: 17 Jul 2014 00:35

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page