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

Authors: Jason C.H. Chen, Jack Penm, R. Deane Terrell

Addresses: Graduate School of Business, Gonzaga University, 502 Boone Avenue, Spokane, WA 99258, USA. ' School of Finance and Applied Statistics, College of Business and Economics, Australian National University, LF Crisp Building 26, Australia. ' National Graduate School of Management, College of Business and Economics, Australian National University, LF Crisp Building 26, Australia

Abstract: 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.

Keywords: parallel Petri nets; PPNs; workflow; intelligent tree pruning; financial control; modelling; halts; halt analysis; deadlocks.

DOI: 10.1504/IJIDS.2011.040420

International Journal of Information and Decision Sciences, 2011 Vol.3 No.2, pp.128 - 147

Published online: 26 May 2011 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article