PetriFlow

PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes. The paper presents an architecture of a Petri net based framework for modelling and control of workflow processes. It focuses on the PNEditor module and briefly discusses workflow engine based on the models designed using the PNEditor. Then the paper describes method of synthesis Separating feasible places and an algorithm for reducing the number of places in the resulting Petri net.