Business Process Modeling and Simulation with DPMN

This book explains how to make expressive process models with a precise operational semantics using the Discrete Event Process Modeling Notation (DPMN). As opposed to the predominant low-level semantics provided by Petri Nets, which represent an abstract computational formalism without ontological foundations, DPMN has a more high-level operational semantics based on the fundamental ontological categories of objects and events. DPMN is based on the Object Event Modeling and Simulation (OEM&S) paradigm, representing a general Discrete Event Simulation approach based on Object-Oriented Modeling and Event Scheduling.