A new and efficient tree pruning method and its applications to workflow-based PPN nets for financial controls

摘要

This paper uses an intelligent tree pruning method to identify the halt states of workflow-based parallel Petri nets (PPNs) for financial controls. This effective and efficient approach contributes to PPN net modelling by a systematic study of the necessary conditions utilising modules. Workflow-based PPN nets provide a mathematical structure suitable for modelling and simulating a wide range of concurrent financially controlled systems. Given the examples provided in this paper, the proposed intelligent tree pruning approach has been successful in detecting halts.