Petri Net Based Refactoring of Workflows and Its Applications in System Development

Abstract

It is a universal problem to keep workflows correct in system development. Workflow nets, a subclass of Petri nets, are suited to creating a model of workflows. They have many verification algorithms for a simpler structure class. In this paper, a given workflow net to apply the verification algorithms. Furthermore, we show applications of the techniques in system development.