Publications

154 entries « 8 of 8 »
141.

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

XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows Proceedings Article

In: Altinkemer, K.; Chari, K. (Ed.): Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001), pp. 30–45, Informs, Linthicum, MD, 2001.

Abstract | Links | BibTeX

142.

van Hee, K. M.; Reijers, H. A.; Verbeek, H. M. W.; Zerguini, L.

On the Optimal Allocation of Resources in Stochastic Workflow Nets Proceedings Article

In: Djemame, K.; Kara, M. (Ed.): Proceedings of the Seventeenth UK Performance Engineering Workshop, pp. 23–34, Print Services University of Leeds, Leeds, 2001.

Abstract | Links | BibTeX

143.

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

Dynamic Work Distribution in Workflow Management Systems: How to balance quality and performance? Journal Article

In: Journal of Management Information Systems (JMIS), vol. 18, no. 3, pp. 157–193, 2001.

Abstract | Links | BibTeX

144.

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

145.

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

146.

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

147.

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

148.

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

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. 48, 2000.

Abstract | Links | BibTeX

150.

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

151.

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

152.

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

153.

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

154.

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

154 entries « 8 of 8 »