W. M. Aalst, Verification of workflow nets, ICATPN 1997, pp.407-426, 1997.
DOI : 10.1007/3-540-63139-9_48

W. M. Aalst, THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT, Journal of Circuits, Systems and Computers, vol.08, issue.01, pp.21-66, 1998.
DOI : 10.1142/S0218126698000043

W. M. Aalst and K. M. Hee, Workflow Management: Models, Methods, and Systems, 2002.

N. Alechina, B. Logan, N. H. Nga, and A. Rakib, Resource-bounded alternating-time temporal logic, AAMAS 2010, pp.481-488, 2010.

K. Barkaoui, R. Benayed, and Z. Sbai, Workflow Soundness Verification Based on Structure Theory of Petri Nets, International Journal of Computing & Information Sciences, vol.5, issue.1, pp.51-62, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01125453

K. Barkaoui and L. Petrucci, Structural Analysis of Workflow Nets with Shared Ressources, pp.82-95, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01125432

E. Best and P. Darondeau, Separability in Persistent Petri Nets, Fundam. Inform, vol.113, issue.3-4, pp.179-203, 2011.
DOI : 10.1007/978-3-642-13675-7_15
URL : https://hal.archives-ouvertes.fr/hal-00651208

E. Best, J. Esparza, H. Wimmel, and K. Wolf, Separability in Conflict-Free Petri Nets, PSI 2006, pp.1-18, 2007.
DOI : 10.1007/978-3-540-70881-0_1

T. Brázdil, P. Jancar, and A. Kucera, Reachability Games on Extended Vector Addition Systems with States, ICALP 2010, pp.478-489, 2010.
DOI : 10.1007/978-3-642-14162-1_40

N. Bulling and B. Farwer, Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL, CLIMA 2009, pp.22-45, 2010.
DOI : 10.1007/978-3-642-16867-3_2

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and M. Stoelinga, Resource Interfaces, SOFT 2003, pp.117-133, 2003.
DOI : 10.1007/978-3-540-45212-6_9

D. F. Escrig and C. Johnen, Decidability of home space property. LRI report 503, 1989.

K. M. Hee, A. Serebrenik, N. Sidorova, and M. Voorhoeve, Soundness of resourceconstrained workflow nets, ICATPN 2005, pp.250-267, 2005.

K. M. Hee, N. Sidorova, and M. Voorhoeve, Soundness and separability of workflow nets in the stepwise refinement approach, ICATPN 2003, pp.337-356, 2003.

K. M. Hee, N. Sidorova, and M. Voorhoeve, Generalised soundness of workflow nets is decidable, ICATPN 2004, pp.197-215, 2004.

K. M. Hee, N. Sidorova, and M. Voorhoeve, Resource-constrained workflow nets, Fundam. Inform, vol.71, issue.2-3, pp.243-257, 2006.

G. Juhás, I. Kazlov, and A. Juhásová, Instance Deadlock: A Mystery behind Frozen Programs, PETRI NETS 2010, pp.1-17, 2010.
DOI : 10.1007/978-3-642-13675-7_1

A. Kaiser, D. Kroening, and T. Wahl, Dynamic Cutoff Detection in Parameterized Concurrent Programs, CAV 2010, pp.645-659, 2010.
DOI : 10.1007/978-3-642-14295-6_55
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.6695

Z. W. Li, N. Q. Wu, and M. C. Zhou, Deadlock control of automated manufacturing systems based on petri nets?a literature review, IEEE Transactions on Systems, Man, and Cybernetics , Part C, vol.42, issue.4, pp.437-462, 2012.

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

N. Sidorova and C. Stahl, Soundness for Resource-Constrained Workflow Nets Is Decidable, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.43, issue.3, pp.724-729, 2013.
DOI : 10.1109/TSMCA.2012.2210415
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.668.7165

K. Wolf, Does My Service Have Partners?, LNCS, vol.8, issue.1, pp.152-171, 2009.
DOI : 10.1142/S0218126698000043
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.4632