INTRODUCTION
1.1 Preamble
In former times, information systems were designed to support the execution of individual tasks. Today’s information systems need to support the business processes at hand. It no longer suffices to focus on just the tasks. The information system also needs to control, monitor and support the logistical aspects of a business process. In other words, the information system also has to manage the flow of work through the organization. Many organizations with complex business processes have identified the need for concepts, techniques, and tools to support the management of workflows. Based on this need the term workflow management was born (Aalst, 1996).
Until recently there were no generic tools to support workflow management. As a result, parts of the business process were hard-coded in the applications. For example, an application to support task X triggers another application to support task Y. This means that one application knows about the existence of another application. This is undesirable, because every time the underlying business process is changed, applications need to be modified. Moreover, similar constructs need to be implemented in several applications and it is not possible to monitor and control the entire workflow. Therefore, several software vendors recognized the need for workflow management systems. A workflow management system (WFMS) is a generic software tool which allows for the definition, execution, registration and control of workflows. At the moment many vendors are offering a workflow management system. This shows that the software industry recognizes the potential of workflow management tools.
1.2 Statement of the Problem
In the development of workflow management systems, it is difficult to describe data and as activities simultaneously and equivalently. So far, there have been only few attempts to solve the problems for complexity which occur in the development of workflow management system
References: Billington A., Peleg M. and Chung A. (2000): Petri Nets Performance Evaluation. University press, Princeton. Brauer W (1987: Infinite Behaviour and Fairness. Advances in Petri Nets Part I: Petri Nets, central models and their properties, volume 254 of Lecture Notes in Computer Science, pages 377–396. Springer-Verlag, Berlin. Cheng A. (1993): Complexity results for safe nets. In R.K. Shyamasundar, editor, Foundations of software technology and theoretical computer science, volume 761 of Lecture Notes in Computer Science, pages 326–337. Springer-Verlag, Berlin. Fischer M (2001): Modeling and simulation of genetic regulatory systems: John Wiley inc, New York. Jensen K (1995): Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer-Verlag, New York. Katalina J (2003): Verification of Workflow Nets in P Kietzaman J (2003): Workflow Handbook of Workflow Management Coalition.John Wiley and Sons, New York, Mor J.H (2002): Petri Net modeling of high-order genetic systems using grammatical evolution Biosystems, 72:177–86. Peleg M. and Altman R. (2002): Petri Net Theory and the Modeling of Systems. Prentice press, London. Peleg M Peleg M., Altman R. and Mor J. H (2005): Modeling biological processes using Workflow and Petri Net models.Bioinformatics.;18:825–37. Petri C.A. (1962): Fundamentals of a Theory of Asynchronous Information Flow.IFIP World Computer Congress, Munich, pp 386-390. Petri C.A. (1969): Communication with Automata.TR-65-377-vol.1 Data Research, Princeton, NJ Reisig W Shannon W.M. (2003): Application of Petri Nets and stochastic activity nets to modeling biological pathways and processes. John Wiley inc, New York. Van der Aalst W.M.P. (1998): The application of Petri Nets to workflow management. J Circuits Syst Comput. 8:21–66. Van der Aalst W.M.P