Workflow nets are recognized as a modelling paradigm for the business process modelling.
We introduce and investigate several correctness notions for workflow nets, ranging from …

Service level agreements (SLAs), or contracts, have an important role in web services. They
define the obligations and rights between the provider of a web service and its client, about …

In this paper the correspondence between safe Petri nets and event structures, due to
Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the …

Reversible computation has attracted increasing interest in recent years, with applications in
hardware, software and biochemistry. We introduce reversible forms of prime event …

We explore the complexity of reachability and run-time refinement under safety and liveness
constraints in event-based process models. Our study is framed in the DCR^ ⋆⋆ process …

Boolean networks are commonly used in systems biology to model dynamics of biochemical
networks by abstracting away many (and often unknown) parameters related to speed and …

We propose a functorial concurrent semantics for Petri nets extended with read and inhibitor
arcs, that we call inhibitor nets. Along the lines of the seminal work by Winskel on safe …

Boolean networks (BNs) are widely used to model the qualitative dynamics of biological
systems. Besides the logical rules determining the evolution of each component with respect …

Process mining is a family of methods to analyze event logs produced during the execution
of business processes in order to extract insights regarding their performance and …

We address the problem of diagnosing behavioral differences between pairs of business
process models. Specifically, given two process models, we seek to determine if they are …