Modern organizations execute processes to deliver product and services, whose enactment
needs to adhere to laws, regulations and standards. Conformance checking is the problem …

The capability to monitor process and service executions, which has gone to notably
increase in the last decades due to the growing adoption of IT-systems, has brought to the …

One of the greatest challenges of the modern era is to empower AI systems with the ability to
deliberate and act autonomously while mitigating the risks that arise from granting such …

Recent advances in the field of Business Process Management (BPM) have brought about
several suites able to model data objects along with the traditional control flow perspective …

With the increasing complexity of the problems and systems arising nowadays, the use of
multi-level models is becoming more frequent in practice. However, there are still few reports …

The growing adoption of IT-systems for modeling and executing (business) processes or
services has thrust the scientific investigation towards techniques and tools which support …

Nested Petri nets have been applied for modelling interaction protocols, mobility, adaptive
systems and interorganizational workflows. However, few results have been reported on the …

This work relates to the automatic generation of logical specifications extracted directly from
workflow-oriented behavioural models of software. The aim is to present a unified …

In this paper we present the design and implementation, as well as a use case, of a tool for
workflow analysis. The tool provides an assistant for the specification of properties of a …

Modern organizations are centered on the business processes needed to deliver products
and services in an efficient and effective manner. Business Process Management (BPM) is …