A process model refers to a systematic model of how activities relate in a formally-backed notation such as BPMN or Petri nets. These models are amenable to computational analysis in various ways, including comparison of models (conformance) and automated construction of models from event log data (discovery). Computational work with these models usually falls under process mining. Use as a management tool falls under Business Process Management (BPM).
