Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000083976527 | 1 hits
Person
ISNI: 
0000 0000 8397 6527
Name: 
Aalst, W. M. P. van der
Aalst, Wil M. P. van der
Aalst, Wil Van Der
Aalst, Willibrordus M. van der
Aalst, Willibrordus Martinus Pancratius
Aalst, Willibrordus Martinus Pancratius van der
Der Aalst, Wil van
van der Aalst, W. M.
Van der Aalst, W. M. P.
Van der Aalst, Wil
Van der Aalst, Wil M. P.
Dates: 
1966-
Creation class: 
article
cre
Language material
text
Creation role: 
author
contributor
creator
editor
redactor
writer of accompanying material
Related names: 
Basten, Antonius André (1969-)
Basten, Twan (1969-)
Desel, Jörg
Eindhoven, Techn. University
Hee, K.M. van (1946-)
Hee, Kees Max (1946-)
Hee, Kees Max van (1946- ))
Hee, Kees van (1946-)
ICATPN 24, 2003, Eindhoven
Lassen, Kristian Bisgaard
Stahl, Christian (1978-)
Technische Universiteit Affiliation (see also from)
Ter Hofstede, Arthur (1966- ))
Verbeek, H.M.W.
Weske, Mathias (1963-)
Zhang, Liang-Jie
Titles: 
2007 IEEE International Conference on Services Computing : (SCC 2007) : proceedings : Salt Lake City, Utah, USA, July 9-13, 2007
Aggregating causal runs into workflow nets
Analyzing the resource perspective of workflow management systems : using a meta model and constraints
Applications and theory of Petri nets 2003 24th international conference ; proceedings
BPM 2003
BPM 2005
Browsing semantics in the "Tower" model
Business process management, 2000:
Business process management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005 : proceedings
Business process management international conference, BPM 2003, Eindhoven, the Netherlands, June 26-27, 2003, proceedings
Business process management : models, techniques, and empirical studies
Choreography conformance checking an approach based on BPEL and petri nets
class of Petri nets for modeling and analyzing business processes, A
Component-based software architectures : a framework based on inheritance of behavior
Conformance testing : measuring the alignment between event logs and process models
Conservative adaption of workflow
Construction rules for component-based architectures
Decision mining in business processes
DecSerFlow: towards a truly declarative service flow language
Diagnosing workflow processes using Woflan
Discovering social networks from event logs
distributed and parallel databases
Exploring the process dimension of workflow management
Exterminating the dynamic change bug : a concrete approach to support workflow change
Flexible Workflow Management Systems : An Approach Based on Generic Process Models
Formalization and verification of event-driven process chains
Gestão de workflows modelos, métodos e sistemas
Handboek simulatie
Handbook of research on business process modeling
Inheritance of behavior
Inheritance of Interorganizational Workflows : How to Agree to Disagree Without Loosing Control?
Inheritance of interorganizational workflows : how to agree to disagree without losing control?
Inheritance of workflows : an approach to tackling problems related to change
Interval timed coloured Petri nets and their analysis
Life-cycle inheritance : a Petri-net-based approach
Life-cycle support for staff assignment rules in process-aware information systems
Matching observed behavior and modeled behavior : an approach based on Petri nets and integer programming
Mining activity clusters from low-level event logs
Modeling business processes : a petri net-oriented approach
Modeling work distribution mechanisms using colored Petri nets
modelling and analysis of queueing systems with QNM-ExSpect, The
modern business process automation: yawl and its support environment
Multi-dimensional Petri nets
Multiparty contracts: agreeing and implementing interorganizational processes
On the verification of interorganizational workflows
Parallel computation of reachable dead states in a free-choice Petri net
Patterns in Colored Petri Nets
Petri net approaches for modelling and validation
Petri net based scheduling
Proceedings of the workshop on workflow management : net-based concepts, models, techniques, and tools
process-algebraic approach to life-cycle inheritance, A : inheritance
Process-aware information systems : bridging people and software through process technology
Process mining and monitoring processes and services workshop report
Process mining and verification of properties : an approach based on temporal logic
Process mining : discovery, conformance and enhancement of business processes
Process mining in case handling systems
Product based workflow design with case handling systems
SAP WebFlow made configurable : unifying workflow templates into a configurable model
SCC 2007
Services computing
SOA-based architecture framework, A
Structural characterizations of sound workflow nets
Timed coloured petri nets and their application to logistics
Towards comprehensive support for organizational mining
Transactions on petri nets and other models of concurrency I, c2008:
Transactions on petri nets and other models of concurrency VIII
Translating message sequence charts to other process languages using process mining
Translating workflow nets to BPEL
Using genetic algorithms to mine process models : representation, operators and results
Verification of Workflow Nets
Verifying workflows with cancellation regions and OR-joins : an approach based on invariants
WOFLAN: a petri-net-based workflow analyzer
Workflow management : modellen, methoden en systemen
Workflow management : models, methods, and systems
Workflow mining: which processes can be rediscovered?
Workflow patterns
WorkflowNet2BPEL4WS : a tool for translating unstructured workflow processes in readable BPEL
XRL/Woflan : verification of an XML/Petri-net-based language for interorganizational workflows
Contributed to or performed: 
DECISION SUPPORT SYSTEMS
INFORMATION AND SOFTWARE TECHNOLOGY
INFORMATION SYSTEMS FRONTIERS
INFORMATION TECHNOLOGY AND MANAGEMENT
LECTURE NOTES IN COMPUTER SCIENCE
SYSTEMS ANALYSIS MODELLING SIMULATION
Notes: 
Eindhoven, Techn. University, Diss., 1992
Sources: 
VIAF DNB LC LNB NKC NTA NUKAT PTBNP SUDOC WKP
CEDA
DAI
TEL
ZETO