Publications

151 entries « 8 of 8 »
141.

Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.

Diagnosing Workflow Processes using Woflan Journal Article

In: The Computer Journal, vol. 44, no. 4, pp. 246–279, 2001.

Abstract | Links | BibTeX

142.

van der Aalst, W. M. P.; Verbeek, H. M. W.; Kumar, A.

Verification of XRL: An XML-based Workflow Language Proceedings Article

In: Shen, W.; Lin, Z.; Barths, J. -P.; Kamel, M. (Ed.): Proceedings of the Sixth International Conference on CSCW in Design (CSCWD 2001), pp. 427–432, London, Ontario, Canada, 2001.

Abstract | Links | BibTeX

143.

van der Aalst, W. M. P.; Basten, T.; Verbeek, H. M. W.; Verkoulen, P. A. C.; Voorhoeve, M.

Adaptive Workflow: On the Interplay between Flexibility and Support Book Section

In: Filipe, J. (Ed.): Enterprise Information Systems, pp. 63–70, Kluwer Academic Publishers, Norwell, 2000.

Abstract | Links | BibTeX

144.

van der Aalst, W. M. P.; Basten, T.; Verbeek, H. M. W.; Verkoulen, P. A. C.; Voorhoeve, M.

Adaptive Workflow: On the Interplay between Flexibility and Support Book Section

In: Filipe, J. (Ed.): Enterprise Information Systems, pp. 63–70, Kluwer Academic Publishers, Norwell, 2000.

Abstract | Links | BibTeX

145.

Verbeek, H. M. W.; van der Aalst, W. M. P.

Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool Proceedings Article

In: Nielsen, M.; Simpson, D. (Ed.): Application and Theory of Petri Nets 2000, pp. 475–484, Springer, Berlin, Verlag, 2000.

Abstract | Links | BibTeX

146.

Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.

Diagnosing Workflow Processes Using Woflan Technical Report

Eindhoven University of Technology Eindhoven, The Netherlands, no. 48, 2000.

Abstract | Links | BibTeX

147.

van der Aalst, W. M. P.; Basten, T.; Verbeek, H. M. W.; Verkoulen, P. A. C.; Voorhoeve, M.

Adaptive Workflow: An Approach Based on Inheritance Proceedings Article

In: Ibrahim, M.; Drabble, B. (Ed.): Proceedings of the IJCAI’99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, pp. 36–45, Stockholm, Sweden, 1999.

Abstract | Links | BibTeX

148.

van der Aalst, W. M. P.; Basten, T.; Verbeek, H. M. W.; Verkoulen, P. A. C.; Voorhoeve, M.

Adaptive Workflow: On the Interplay between Flexibility and Support Proceedings Article

In: Filipe, J.; Cordeiro, J. (Ed.): Proceedings of the First International Conference on Enterprise Information Systems, pp. 353–360, Setúbal, Portugal, 1999.

Abstract | Links | BibTeX

149.

Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.

Diagnosing Workflow Processes using Woflan Technical Report

Eindhoven University of Technology Eindhoven, The Netherlands, no. 99/02, 1999.

Abstract | Links | BibTeX

150.

van der Aalst, W. M. P.; Hauschildt, D.; Verbeek, H. M. W.

A Petri-net-based Tool to Analyze Workflows Proceedings Article

In: Farwer, B.; Moldt, D.; Stehr, M. O. (Ed.): Proceedings of Petri Nets in System Engineering (PNSE’97), pp. 78–90, University of Hamburg, Hamburg, Germany, 1997, (FBI-HH-B-205/97).

Abstract | Links | BibTeX

151.

Hauschildt, D.; Verbeek, H. M. W.; van der Aalst, W. M. P.

WOFLAN: a Petri-net-based Workflow Analyzer Technical Report

Eindhoven University of Technology Eindhoven, The Netherlands, no. 97/12, 1997.

Abstract | Links | BibTeX

151 entries « 8 of 8 »