Publications 1997

  • [PDF] W. M. P. van der Aalst, D. Hauschildt, and H. M. W. Verbeek, “A petri-net-based tool to analyze workflows,” in Proceedings of petri nets in system engineering (pnse97), Hamburg, Germany, 1997, pp. 78-90.
    [Bibtex]
    @InProceedings{Aalst97,
    Title = {A Petri-net-based Tool to Analyze Workflows},
    Author = {Aalst, W. M. P. van der and Hauschildt, D. and Verbeek, H. M. W.},
    Booktitle = {Proceedings of Petri Nets in System Engineering (PNSE’97)},
    Year = {1997},
    Address = {Hamburg, Germany},
    Editor = {Farwer, B. and Moldt, D. and Stehr, M. O.},
    Month = {September},
    Note = {FBI-HH-B-205/97},
    Pages = {78--90},
    Publisher = {University of Hamburg},
    Abstract = {Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this paper we present a tool based on Petri nets: Woflan. Woflan (WOrkFLow ANalyzer) is an analysis tool which can be used to verify the correctness of a workflow procedure. The analysis tool uses state-of-the-art techniques to find potential errors in the definition of a workflow procedure.},
    File = {Petri Nets in System Engineering (PNSE’97):http\://www.informatik.uni-hamburg.de/TGI/aktuelles/pnse97.html:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst97.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.informatik.uni-hamburg.de/TGI/aktuelles/pnse97/papers/aalst.ps.gz}
    }
  • [PDF] D. Hauschildt, H. M. W. Verbeek, and W. M. P. van der Aalst, “Woflan: a petri-net-based workflow analyzer,” Eindhoven University of Technology, Eindhoven, The Netherlands, Computing Science Reports 97/12, 1997.
    [Bibtex]
    @TechReport{Hauschildt97,
    Title = {WOFLAN: a Petri-net-based Workflow Analyzer},
    Author = {Hauschildt, D. and Verbeek, H. M. W. and Aalst, W. M. P. van der},
    Institution = {Eindhoven University of Technology},
    Year = {1997},
    Address = {Eindhoven, The Netherlands},
    Number = {97/12},
    Type = {Computing Science Reports},
    Abstract = {Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, the attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this monograph we present a tool based on Petri nets: Woflan. Woflan (WOrkFLow ANalyser) is an analysis tool which can be used to verify the correctness of a workflow procedure. The analysis tool uses state-of-the-art techniques to find potential errors in the definition of a workflow procedure.},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://alexandria.tue.nl/extra1/wskrap/publichtml/9715985.pdf}
    }

Leave a Reply