This contributions provides an introduction to the theory of place/transition Petri nets. Topics
include the sequential and the concurrent behavior of place/transition Petri nets, marking …

Petri Nets–An Introduction [63] is a slim book that was published almost 30 years ago and
was quickly translated into six languages and sold several thousand copies. For a long time …

We propose a principled account on multiclass spectral clustering. Given a discrete
clustering formulation, we first solve a relaxed continuous optimization problem by eigen …

We explore the computational power of networks of small resource-limited mobile agents.
We define two new models of computation based on pairwise interactions of finite-state …

It is common for large organizations to maintain repositories of business process models in
order to document and to continuously improve their operations. Given such a repository …

Petri nets, also known as vector addition systems, are a long established model of
concurrency with extensive applications in modeling and analysis of hardware, software …

It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …

Workflow nets, a particular class of Petri nets, have become one of the standard ways to
model and analyze workflows. Typically, they are used as an abstraction of the workflow that …

Business process models are key artifacts in the development of information systems. While
one of their main purposes is to facilitate communication among stakeholders, little is known …

Parameterized model checking is an active research field that considers automated
verification of distributed or concurrent systems, for all numbers of participating processes. In …