Zoekresultaten
Resultaat 1 - 19 (van 19)
A. Rozinat | W.M.P. van der Aalst Decision mining in business processes
Non-fictie
Engels | 16 pagina's | Beta, Research School for Operations Management and Logistics, Eindhoven | 2006
Gedrukt boek
A. Rozinat | W.M.P. van der Aalst Conformance testing
measuring the alignment between event logs and process models
Non-fictie
Engels | 55 pagina's | [BETA Research School for Operations Management and Logistics], Eindhoven | 2005
Gedrukt boek
Nataliya Mulyar | W.M.P. van der Aalst Patterns in Colored Petri Nets
Non-fictie
Engels | 109 pagina's | [Beta, Research School for Operations Management and Logistics], Eindhoven | 2005
Gedrukt boek
M. Pesic | W.M.P. van der Aalst Modeling work distribution mechanisms using colored Petri nets
Non-fictie
Engels | 25 pagina's | [BETA Research School for Operations Management and Logistics], Eindhoven | 2005
Gedrukt boek
H.M.W. Verbeek | Twan Basten | W.M.P. van der Aalst Diagnosing workflow processes using Woflan
Non-fictie
Engels | 40 pagina's | [BETA Research Institute], Eindhoven | 2000
Gedrukt boek
Twan Basten | W.M.P. van der Aalst Inheritance of behavior
Non-fictie
Engels | 83 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1999
Gedrukt boek
W.M.P. van der Aalst Exploring the process dimension of workflow management
Non-fictie
Engels | 56 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek
D. Hauschildt | E. Verbeek | W.M.P. van der Aalst WOFLAN: a petri-net-based workflow analyzer
Non-fictie
Engels | 30 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek
W.M.P. van der Aalst Structural characterizations of sound workflow nets
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
M. Voorhoeve | W.M.P. van der Aalst Conservative adaption of workflow
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
H.M.W. Verbeek | W.M.P. van der Aalst | A.H.M. ter Hofstede Verifying workflows with cancellation regions and OR-joins
an approach based on invariants
Non-fictie
Engels | 36 pagina's | [Beta, Research School for Operations Management and Logistics], Eindhoven | 2005
Gedrukt boek
W.M.P. van der Aalst | K.M. van Hee | R.A. van der Toorn Construction rules for component-based architectures
Non-fictie
Engels | 30 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
H.M.W. Verbeek | W.M.P. van der Aalst | A. Kumar XRL/Woflan
verification of an XML/Petri-net-based language for interorganizational workflows
Non-fictie
Engels | 58 pagina's | BETA Research School for Operations, Management and Logistics, Eindhoven | 2001
Gedrukt boek
M. Pesic | W.M.P. van der Aalst Analyzing the resource perspective of workflow management systems
using a meta model and constraints
Non-fictie
Nederlands | 28 pagina's | [Beta, Research School for Operations Management and Logistics], Eindhoven | 2006
Gedrukt boek
W.M.P. van der Aalst On the verification of interorganizational workflows
Non-fictie
Engels | 23 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek
Stefanie Rinderle-Ma | W.M.P. van der Aalst Life-cycle support for staff assignment rules in process-aware information systems
Non-fictie
Engels | 43 pagina's | Beta, Research School for Operations Management and Logistics, Eindhoven | 2007
Gedrukt boek
W.M.P. van der Aalst Matching observed behavior and modeled behavior
an approach based on Petri nets and integer programming
Non-fictie
Engels | 14 pagina's | [Beta, Research School for Operations Management and Logistics], Eindhoven | 2004
Gedrukt boek
Irene Vanderfeesten | H.A. Reijers | W.M.P. van der Aalst Product based workflow design with case handling systems
Non-fictie
Engels | 18 pagina's | [Beta, Research School for Operations Management and Logistics], Eindhoven | 2006
Gedrukt boek
W.M.P. van der Aalst | H.T. de Beer | B.F. van Dongen Process mining and verification of properties
an approach based on temporal logic
Non-fictie
Engels | 17 pagina's | [Beta, Research School for Operations Management and Logistics], Eindhoven | 2005
Gedrukt boek