Decision making in process-aware information systems involves build-time and run-time decisions. At build-time, idealized process models are designed based on the organization's objectives, infrastructure, context, constraints, etc. At run-time, this idealized view is often broken. In...

The automated enactment of processes through the use of workflow management systems enables the outsouring of the control flow from application systems. By now a large number of systems, that follow different workflow paradigms, are available. This leads to the problem of selecting the...

This paper presents ways for senior researchers to help future doctoral students in Operations Management (OM) to overcome multiple challenges in: (a) conducting relevant research while demonstrating greater rigor, and (b) exploring multi-disciplinary research projects while mastering a single...

In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification. Semantic compatibility, as opposed to syntactic compatibility, is concerned with the...

Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for complex verification procedures....

Business Process Reengineering (BPR) is the cutting-edge trend in contemporary business. It is a tool, a method or practice to attain radical improvement in various dynamic environments. The main aim of development of this scale “BPR Application Scale (BPRAS)” was to study about the...

Quality has been a fascinating buzzword in the organizational world for the last few decades of the 20th century. In today's challenging economic climate, many organizations have come to realize that improved quality is an essential entry ingredient for successful global competition. Business...