Model Decomposition of Robustness Diagram with Loop and Time Controls to Petri Net with Considerations on Resets

Robustness Diagram with Loop and Time Controls is a multidimensional workflow model that can capture all workflow dimensions, i.e. process, resource, and case. In contrast to other workflow models, such as Class Diagram and Petri Net, tools that support its automated implementation and verification are not yet well-established. As such, previous literature introduced the mapping of the Robustness Diagram with Loop and Time Controls to Petri Net, focusing on the reachability and reuse of substructures therein. However, this mapping is still incomplete since it lacks the support for component reuse of the reset-bound subsystems. Furthermore, this mapping results in unsound and inconsistent Petri Net. This study proposes a mapping of the Robustness Diagram with Loop and Time Controls to Petri Net that addresses the gaps in the literature. Using Petri Net components and extensions, this paper introduces a novel mapping of the reset-bound subsystems that allows component reset and reuse and modifies some structures in PN that lead to its unsoundness and inconsistency. Lastly, the proposed mapping algorithm’s overview, validation, and analysis are presented.