Publications 2002

  • [PDF] [DOI] W. M. P. van der Aalst, A. Hirnschall, and H. M. W. Verbeek, “An alternative way to analyze workflow graphs,” in Conference on advanced information systems (caise) 2002, 2002, pp. 535-552.
    [Bibtex]
    @InProceedings{Aalst02,
    Title = {An Alternative Way to Analyze Workflow Graphs},
    Author = {Aalst, W. M. P. van der and Hirnschall, A. and Verbeek, H. M. W.},
    Booktitle = {Conference on Advanced Information Systems (CAiSE) 2002},
    Year = {2002},
    Editor = {Banks Pidduck, A. and Özsu, T. and Mylopoulos, J. and Woo, C.},
    Pages = {535--552},
    Publisher = {Springer, Berlin, Germany},
    Series = {Lecture Notes in Computer Science},
    Volume = {2348},
    Abstract = {At the CAiSE conference in Heidelberg in 1999, Wasim Sadiq and Maria Orlowska presented an algorithm to verify workflow graphs. The algorithm uses a set of reduction rules to detect structural conflicts. This paper shows that the set of reduction rules presented by Sadiq and Orlowska is not complete and proposes an alternative algorithm. The algorithm translates workflow graphs into so-called WF-nets. WF-nets are a class of Petri nets tailored towards workflow analysis. As a result, Petri-net theory and tools can be used to verify workflow graphs. In particular, our workflow verification tool Woflan can be used to detect design errors. It is shown that the absence of structural conflicts, i.e., deadlocks and lack of synchronization, conforms to soundness of the corresponding WF-net. In contrast to the algorithm presented by Sadiq and Orlowska, the algorithm presented in this paper is complete. Moreover, the complexity of this alternative algorithm is given.},
    Doi = {10.1007/3-540-47961-9_37},
    File = {Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst02.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04}
    }
  • [PDF] [DOI] H. M. W. Verbeek, A. Hirnschall, and W. M. P. van der Aalst, “Xrl/flower: supporting inter-organizational workflows using xml/petri-net technology,” in Web services, e-business and the semantic web, 2002, pp. 93-108.
    [Bibtex]
    @InProceedings{Verbeek02,
    Title = {XRL/Flower: Supporting Inter-Organizational Workflows Using XML/Petri-net Technology},
    Author = {Verbeek, H. M. W. and Hirnschall, A. and Aalst, W. M. P. van der},
    Booktitle = {Web Services, E-business and the Semantic Web},
    Year = {2002},
    Pages = {93--108},
    Publisher = {Springer, Berlin, Germany},
    Series = {Lecture Notes in Computer Science},
    Volume = {2512},
    Abstract = {In this paper, we present the architecture of XRL/Flower. XRL/Flower is a software tool, which benefits from the fact that it is based on both XML and Petri nets. Standard XML tools can be deployed to parse, check, and handle XRL documents. The Petri-net representation allows for a straight-forward and succinct implementation of the workflow engine. XRL constructs are automatically translated into Petri-net constructs. On the one hand, this allows for an efficient implementation. On the other hand, the system is easy to extend: For supporting a new routing primitive, only the translation to the Petri-net engine needs to be added and the engine itself does not need to change. Last, but not least, the Petri net representation can be analyzed using state-of-the-art analysis techniques and tools.},
    Doi = {10.1007/3-540-36189-8_8},
    File = {Lecture Notes in Computer Science:http\://link.springer.de/link/service/series/0558/index.htm:URL;Volume 2512:http\://link.springer.de/link/service/series/0558/tocs/t2512.htm:URL;CAiSE 02:http\://www.cs.toronto.edu/caise02/:URL;Web Services, E-business and Semantic Web Workshop:http\://pcsiwa12.rett.polimi.it/~pernici/WSeBT/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek02.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.springerlink.com/content/0g5djua1qdhqd0jc/fulltext.pdf}
    }

Leave a Reply