Abstract The Model Checking Contest (MCC) is an annual competition of software tools for
model checking. Tools must process an increasing benchmark gathered from the whole …

Conceptual modeling, which includes both control-flow and data-flow modeling, has posed
great challenges for conventional business process management systems. To support …

The servitization of business is moving industry to business models driven by customer
demand. Customer satisfaction is connected with financial rewards, forcing companies to …

We discuss selected model checking techniques used in the tool TAPAAL for the
reachability analysis of weighted Petri nets with inhibitor arcs. We focus on techniques that …

Abstract SMPT (for Satisfiability Modulo Petri Net) is a model checker for reachability
problems in Petri nets. It started as a portfolio of methods to experiment with symbolic model …

We propose a semi-decision procedure for checking generalized reachability properties, on
generalized Petri nets, that is based on the Property Directed Reachability (PDR) method …

We propose a method for checking generalized reachability properties in Petri nets that
takes advantage of structural reductions and that can be used, transparently, as a pre …

We study techniques to overcome the state space explosion problem in CTL model checking
of Petri nets. Classical state space pruning approaches like partial order reductions and …

Partial order and structural reduction techniques are some of the most beneficial methods for
state space reduction in reachability analysis of Petri nets. This is among others documented …

Emerging software-defined and programmable networking technologies enable more
adaptive communication infrastructures. However, leveraging these flexibilities and …