It has been well established that the optimization of workflow can have substantial impact on the feasibility, efficiency, quality, safety, and outcomes of healthcare delivery. The process of studying and understanding ...

This paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage ...

In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are formal model of business processes. Well-formed business ...