Zoekresultaten
Resultaat 1 - 5 (van 5)
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 | 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 | 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