| 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 ICIFS, 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.
|
|
