The state transition formalism is a well-known state-of-the-art approach from the planning domain. For the solution of process requirements (problem statement), the state transition system formalism can be applied.

Introduction and Planning in Context - AI Planning MOOC Course of Uni of Edinburgh [Slides of Introductory Course]