Processes are an integral part of nearly all organizations, driving their daily operations and
support activities. Increasingly, these business processes are supported by some …

Process mining techniques attempt to extract nontrivial and useful information from event
logs. For example, there are many process mining techniques to automatically discover a …

Today's business processes are realized by a complex sequence of tasks that are performed
throughout an organization, often involving people from different departments and multiple …

In systems engineering, verification activities evaluate the extent to which a system under
development satisfies its requirements. In large systems engineering projects, multiple firms …

Process mining techniques attempt to extract non-trivial and useful information from event
logs. For example, there are many process mining techniques to automatically discover a …

Testing complex systems, such as the ASML TWINSCAN lithographic machine, is expensive
and time consuming. In a previous work, a test sequencing method to calculate time-optimal …

In 2003, while I was performing my master's project as part of an industrial Ph. D. project, I
became enthusiastic about performing academic research and using its results to solve real …

Process mining allows for the automated discovery of process models from event logs.
These models provide insights and enable various types of model-based analysis. However …

Tangram Page 1 Tangram Citation for published version (APA): Tretmans, J. (Ed.) (2007).
Tangram: model-based integration and testing of complex high-tech systems. Technische …

The integration and test phase of complex manufacturing machines, like an ASML
lithographic manufacturing system, is expensive and time consuming. The tests that can be …