Over the last decade there has been a shift from “data-aware” information systems to
“process-aware” information systems. To support business processes an enterprise …

Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …

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 …

This paper describes in an informal way the Public-To-Private (P2P) approach to
interorganizational workflows, which is based on a notion of inheritance. The approach …

This paper is concerned with the application of Web services to distributed, cross-
organizational business processes. In this scenario, it is crucial to answer the following …

Purpose–The purpose of this paper is to demonstrate that process verification has matured
to a level where it can be used in practice. This paper reports on new verification techniques …

Process modeling languages such as EPCs, BPMN, flow charts, UML activity diagrams, Petri
nets, etc., are used to model business processes and to configure process-aware …

Abstract Most Internet of Things (IoT)-based service requests require excessive computation
which exceeds an IoT device's capabilities. Cloud-based solutions were introduced to …

Abstract Information technology has changed business processes within and between
enterprises. More and more work processes are being conducted under the supervision of …

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 …