K. Barkaoui, R. Ben-ayed, and Z. Sbaï, Workflow Soundness Verification based on Structure Theory of Petri Nets, International Journal of Computing and Information Sciences (IJCIS), vol.5, issue.1, pp.51-61, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01125453

H. Boucheneb and . K. Barkaoui, Parametric Verification of TimeWorkflow Nets, Proc. of the 24th International Conference on Software Engineering and Knowledge Engineering SEKE, 2012.

H. Boucheneb and . Barkaoui, Reachability Analysis of P-Time Petri Nets with Parametric Markings, Proc. of the 12th International Conference on Application of Concurrency to System Design ACSD, 2012.

. O. Bpmi, Business Process Modeling Language, 2002.

A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceeding of International Conference on Computer-Aided Verification, 2002.

Z. Conghua and . C. Zhenyu, Model checking workflow net based on Petri net, Wuhen university journal of natural sciences, vol.11, issue.5, 2006.

F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller et al., Business Process Execution Language for Web Services, version 1.0. Standards proposed by BEA Systems, 2002.

T. A. Henzinger, R. Jhala, R. Majumdar, and . G. Sutre, Software Verification with Blast, Proceedings of the 10th SPIN Workshop on Model Checking Software (SPIN), vol.2648, pp.235-239, 2003.

G. J. Holzmann, The SPIN Model Checker. Primer and Reference Manual, 2003.

G. J. Holzmann, The Model Checker SPIN, IEEE Transactions on software engineering, vol.23, issue.5, 1997.

F. L. Tiplea and D. C. Marinescu, Structural soundness of workflow nets is decidable, Information Processing Letters, 2005.

W. M. Van-der-aalst, Verification of Workflow nets, ICATPN 97, vol.1248, 1997.

K. Hee, N. Sidorova, and . M. Voorhoeve, Resource-Constrained Workflow nets, Fundamenta Informatica XX. 16. WfMC, 2002.

. Wfmc, Workflow management coalition terminology and glossary (WFMC-TC-1011), 1999.

S. Yamaguchi, M. Yamaguchi, and M. Tanaka, A soundness verification tool based on the SPIN model checker for acyclic workflow nets, the proceeding of ITC-CSCC, 2008.