Petri nets, as a graphical and mathematical tool, provide a uniform environment for
modelling, formal analysis, and design of discrete event systems. The main objective of this …

Randomization is a key element in sequential and distributed computing. Reasoning about
randomized algorithms is highly non-trivial. In the 1980s, this initiated first proof methods …

We present the probabilistic model checker Storm. Storm supports the analysis of discrete-
and continuous-time variants of both Markov chains and Markov decision processes. Storm …

Process-oriented data mining (process mining) uses algorithms and data (in the form of
event logs) to construct models that aim to provide insights into organisational processes …

Starts with a brief review of the history and the application areas considered in the literature.
The author then proceeds with introductory modeling examples, behavioral and structural …

Based on a rigorous analysis of existing workflow management systems and workflow
languages, a new workflow language is proposed: yet another workflow language (YAWL) …

This paper combines two closely related net models, predicate/transition nets and coloured
Petri nets, into a new net model called high-level Petri nets. The new model is intended to …

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach
Using the SHARPE Software Package provides a variety of probabilistic, discrete-state …

Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Petri nets in which random firing delays are associated with transitions whose firing is an
atomic operation are known under the name “stochastic Petri nets”. These models are …