IJPAM: Volume 26, No. 3 (2006)

BUSINESS PROCESS MODELING AND VALIDATION
USING DECISION PROCESS PETRI NETS

Zvi Retchkiman Konigsberg
Instituto Politécnico Nacional
Centro de Investigación en Computación - CIC
Mineria 17-2, Col. Escandon
Mexico D.F. 11800, MEXICO
e-mail: mzvi@cic.ipn.mx


Abstract.This paper presents a formal framework for business process modeling and validation using partially ordered transition Decision Process Petri Nets (DPPN). The advantage of this approach is its ability to represent the dynamic behavior of the business process. The business process model is supported by an information technology strategic planning (ITSP) model and methodology. The modeling methodology is based on business strategy transformation. High-level business strategies are refined up to the point when they can be described in terms of the activities needed to achieve a certain tactical business strategy given only in terms of goals and strategies. At this point, partially ordered Petri nets are used for business process representation and analysis. DPPN extends the place-transitions Petri nets theoretic approach including the Markov decision process. In this sense, DPPN corresponds to a series of strategies which guide the selection of actions that lead to a final (decision) state. By taking into account different possible courses of action the overall utility of each strategy is considered. The utility function of each business process is represented by a Lyapunov like function. Conditions of equilibrium and stability for the DPPN are recalled. For illustration purposes, two examples are presented.

Received: September 10, 2005

AMS Subject Classification: 91B06, 93D05, 39A05, 39A11, 62C99

Key Words and Phrases: business process, information technology strategic planning (ITSP), decision process, Decision Process Petri Nets, strategies and goals, Lyapunov

Source: International Journal of Pure and Applied Mathematics
ISSN: 1311-8080
Year: 2006
Volume: 26
Issue: 3