Issue:Generalized net representation of workflow nets

shortcut

http://ifigenia.org/wiki/issue:{{{shortcut}}}

Title of paper: Generalized net representation of workflow nets Author(s): Ivaylo Ivanov SoftConsultGroup Ltd, Dedeagach Str, Bl. 60A, c-x Strelbishte, Sofia-1408, Bulgaria ivaylo.ivanov@softconsultgroup.com Boyan Kolev CLBME – Bulgarian Academy of Sciences, Bl. 105, Sofia-1113, Bulgaria bik@clbme.bas.bg Presented at: 9th IWGN, Sofia, 4 July 2008 Published in: Conference proceedings, pages 89—93 Download:  PDF (406  Kb, File info) Abstract: The purpose of this paper is to introduce a GN representation of Workflow nets (WFGN) and all their transformation. The paper introduces important properties of WFGNs such as soundness and cyclomatic complexity. Keywords: Workflow modeling, Generalized nets, Workflow nets, Verification, Soundness, Cyclomatic complexity References: W.M.P. van der Aalst, "Verification of Workflow nets", ICATPN 97, LNCS N ° 1248, 1997. Barkaoui K., R.B. Ayed, Z. Sbai, Workflow Soundness Verification based on Structure Theory of Petri Nets, International Journal of Computing & Information Sciences, Vol. 5, No. 1, April 2007, pp. 51-61 Atanassov, K., Generalized Nets, World Scientific, Singapore, 1991. Kolev, B., “Cyclomatic complexity for generalized nets”, Issues in Intuitionistic Fuzzy Sets and Generalized Nets, Vol. 3 (K. Atanassov, J. Kacprzyk and M. Krawczak, Eds.), Warsaw School of Information Technology Press, 2005 WFMC, "Workflow management coalition terminology and glossary (WFMC-TC-1011)", Tech. Rep., Workflow Management Coalition, Brussals, February 1999. Citations: The list of publications, citing this article may be empty or incomplete. If you can provide relevant data, please, write on the talk page.