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
Parametric Verification of TimeWorkflow Nets, Proc. of the 24th International Conference on Software Engineering and Knowledge Engineering SEKE, 2012. ,
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. ,
Business Process Modeling Language, 2002. ,
NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceeding of International Conference on Computer-Aided Verification, 2002. ,
Model checking workflow net based on Petri net, Wuhen university journal of natural sciences, vol.11, issue.5, 2006. ,
Business Process Execution Language for Web Services, version 1.0. Standards proposed by BEA Systems, 2002. ,
Software Verification with Blast, Proceedings of the 10th SPIN Workshop on Model Checking Software (SPIN), vol.2648, pp.235-239, 2003. ,
The SPIN Model Checker. Primer and Reference Manual, 2003. ,
The Model Checker SPIN, IEEE Transactions on software engineering, vol.23, issue.5, 1997. ,
Structural soundness of workflow nets is decidable, Information Processing Letters, 2005. ,
Verification of Workflow nets, ICATPN 97, vol.1248, 1997. ,
Resource-Constrained Workflow nets, Fundamenta Informatica XX. 16. WfMC, 2002. ,
Workflow management coalition terminology and glossary (WFMC-TC-1011), 1999. ,
A soundness verification tool based on the SPIN model checker for acyclic workflow nets, the proceeding of ITC-CSCC, 2008. ,