On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs

• Autorzy: Czaja L. , Kudlek M.
• Języki publikacji: EN

Abstrakty

EN

We show that the results on analysis of net structures and transition graphs exhibited in [1] can be apllied also to generalized work flow net structures and related transition graphs.

Słowa kluczowe

EN

net structures; T-Graphs

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2011
• Tom: Vol. 112, nr 1
• Strony: 39--45
• Opis fizyczny: Bibliogr. 4 poz., wykr.

Twórcy

autor

Czaja L.

autor

Kudlek M.

• Fachbereich Informatik, MIN-Fakult¨at, Universität Hamburg, DE Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany,

Bibliografia

• [1] Czaja, L., Kudlek, M.: Analysis and Synthesis of Net Structures and Transition Graphs. Fund. Inf., 93 (1-3), pp. 97-110, 2009.
• [2] van der Aalst, W.M.P.: A Class of Petri Nets for Modeling and Analyzing Business Processes. Computing Science Reports 95/26, Eindhoven University of Technology, 1995.
• [3] van der Aalst, W.M.P: Verification of Workflow Nets. LNCS 1248, pp. 407-426, 1997.
• [4] Basten, T., van der Aalst, W.M.P., Verbeek, H.M.W.: Diagnosing Workflow Processes Using Woflan. The Computer Journal 55(4), pp. 246-279, 2001.