We report on a case study on control-flow analysis of business process models. We checked
735 industrial business process models from financial services, telecommunications, and …

Due to the omnipresence of digitally supported processes and storage facilities nowadays,
plenty of organisational data is available in the typical organisation. Process mining aims to …

We report on a case study on control-flow analysis of business process models. We checked
735 industrial business process models from financial services, telecommunications and …

MARCIE is a tool for the analysis of generalized stochastic Petri nets which can be
augmented by rewards. The supported analysis methods range from qualitative and …

When using process models for automation, correctness of the models is a key requirement.
While many approaches concentrate on control flow verification only, correct data flow …

As the threat landscape in the industrial domain continually advances, security-by-design is
an ever-growing concern in the engineering of cyber-physical production systems (CPPSs) …

With the rise of electronic integration between organizations, the need for a precise
specification of interaction behavior increases. Information systems, replacing interaction …

CPN Tools is an advanced tool for editing, simulating, and analyzing colored Petri nets. This
paper discusses the fourth major release of the tool, which makes it simple to use the tool for …

Workflow nets (WF-nets) as a class of Petri nets are widely used to model and analyze
workflow systems. Soundness is an important property of WF-nets, which guarantees that …

Business process modeling has become a standard activity in many organizations. We start
with going back into the history and explain why this activity appeared and became of such …