S. Jain, N. F. Choong, K. M. Aye, and M. Luo, Virtual factory: an integrated approach to manufacturing systems modeling, International Journal of Operations & Production Management, vol.21, issue.5/6, pp.594-608, 2001.
DOI : 10.1109/ETFA.1997.616270

Z. Wenbin, F. Xiumin, . Yan, and Z. Juanqi, An Integrated Simulation Method to Support Virtual Factory Engineering, International Journal, vol.2, issue.3, pp.39-44, 2002.

W. Aalst and . Van-der, Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries. Information & Management Available from, pp.67-75, 2000.

R. Alur, T. A. Henzinger, and P. Ho, Automatic Sybolic Verification of Embedded Systems, IEEE Transactions on Software Engineering, vol.22, issue.3, pp.2-11, 1996.
DOI : 10.1109/real.1993.393520

W. M. Van-der-aalst, Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques, Business Process Management, vol.18, issue.11, pp.19-128, 2000.
DOI : 10.1016/0022-0000(79)90050-3

W. M. Van-der-aalst, T. Hofstede, and A. , Verification of Workflow Task Structures: A Petri-net-based approach. Information systems, pp.43-69, 2000.

B. B. Anderson, J. V. Hansen, P. B. Lowry, and S. L. Summers, Model Checking for E-Business Control and Assurance, IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), vol.35, issue.3, pp.445-450, 2005.
DOI : 10.1109/TSMCC.2004.843181

M. Pesic and W. M. Van-der-aalst, A Declarative Approach for Flexible Business Processes Management. Business Process Management Workshops, pp.169-180, 2006.
DOI : 10.1007/11837862_18
URL : http://is.tm.tue.nl/staff/wvdaalst/publications/p333.pdf

M. Varea, Mixed Control / Data-Flow Representation for Modelling and Verification of embedded systems, 2002.

E. D. Adamides and N. Karacapilidis, A knowledge centred framework for collaborative business process modelling, Business Process Management Journal, vol.12, issue.5, pp.557-575, 2006.
DOI : 10.1023/A:1008758806144

W. M. Van-der-aalst and M. Pesic, DecSerFlow: Towards a Truly Declarative Service Flow Language. Web Services and Formal Methods Available from, pp.1-23, 1007.

A. Norta, P. Grefen, and N. C. Narendra, A reference architecture for managing dynamic inter-organizational business processes, Data & Knowledge Engineering, vol.91, pp.52-89, 2014.
DOI : 10.1016/j.datak.2014.04.001
URL : https://pure.tue.nl/ws/files/3793814/604826725078535.pdf

J. Roa, P. Villarreal, C. , and O. , A Methodology for the Design , Verification , and Validation of Business Processes, B2B Collaborations. International Conference on Business Process Management, pp.293-305, 2011.

P. D. Chiotti, A Modeling Approach for Collaborative Business Processes Based on the UP-ColBPIP Language. Business Process Management Workshops, 2010.

M. Aiello, P. Bulanov, and H. Groefsema, Requirements and Tools for Variability Management, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops, pp.245-250, 2010.
DOI : 10.1109/COMPSACW.2010.50

D. Knuplesch, M. Reichert, W. Fdhila, and S. Ma, On Enabling Compliance of Cross-Organizational Business Processes, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics LNCS, pp.8094-146, 2013.
DOI : 10.1007/978-3-642-40176-3_12

M. Kochanowski, C. Fehling, F. Koetter, F. Leymann, and A. Weisbecker, Compliance in BPM today -an insight into experts ' views and industry challenges, pp.769-780, 2014.

D. Backer, M. Snoeck, M. Monsieur, G. Lemahieu, W. Dedene et al., A scenario-based verification technique to assess the compatibility of collaborative business processes, Data & Knowledge Engineering, vol.68, issue.6, pp.68-531, 2009.
DOI : 10.1016/j.datak.2008.12.002

S. Morimoto, A Survey of Formal Verification for Business Process Modeling Computational Science ? ICCS 2008 -Lecture Notes in Computer Science Available from, pp.514-522, 2008.

S. Kim and W. W. Smari, A Petri Net-based Workflow Modeling for a Humancentric Collaborative Commerce System, pp.28-31, 2006.

C. A. Petri, General Net Theory Computing System Design: Proceedings of the Joint IBM-University of Newcastle upon Tyne Seminar, 1977.

W. M. Van-der-aalst, Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. Business process management demystified: A tutorial on models, systems and standards for workflow management, pp.1-65, 2004.

D. Fahland, D. Luebke, J. Mendling, H. Reijers, B. Weber et al., Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. Enterprise, Business-Process and Information Systems Modeling Available from: <Go to, pp.353-366000268581700029, 2009.

K. Jensen, L. M. Kristensen, W. , and L. , Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4, 2007.
DOI : 10.1007/978-1-4757-3143-9

F. Gottschalk, W. M. Van-der-aalst, M. H. Jansen-vullers, and H. M. Verbeek, Protos2CPN: using colored Petri nets for configuring and testing business processes, International Journal on Software Tools for Technology Transfer, vol.44, issue.4, pp.95-110, 2008.
DOI : 10.1007/978-3-663-10233-5
URL : http://is.tm.tue.nl/staff/wvdaalst/publications/p348.pdf

W. M. Van-der-aalst, B. Kiepuszewski, and A. Hofstede, Workflow Patterns. Distributed and Parallel Databases Available from, pp.5-51, 2003.

S. Wasim and O. Maria, Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models, Advanced Information Systems Engineering, pp.1789-431, 2000.

R. Lu and S. Sadiq, A survey of comparative business process modeling approaches Available from, Proceedings of the 10th International Conference on Business Information Systems (BIS2007) [online], pp.82-94, 2007.

M. Reichert and P. Dadam, ADEPTflex -supporting dynamic changes of workflows without losing control, Journal of Intelligent Information Systems, vol.10, issue.2, pp.93-129, 1998.
DOI : 10.1023/A:1008604709862

B. Weber, M. Reichert, and S. Ma, Change patterns and change support features ??? Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, vol.66, issue.3, pp.438-466, 2008.
DOI : 10.1016/j.datak.2008.05.001
URL : http://dbis.eprints.uni-ulm.de/335/1/DKE_WRR08.pdf

B. Weber, M. Reichert, S. Rinderle-ma, and W. Wild, PROVIDING INTEGRATED LIFE CYCLE SUPPORT IN PROCESS-AWARE INFORMATION SYSTEMS, International Journal of Cooperative Information Systems, vol.1, issue.01, pp.115-165, 2009.
DOI : 10.1016/j.is.2004.05.002

P. Dadam and M. Reichert, The ADEPT project: a??decade of research and development for robust and flexible process support, Computer Science - Research and Development, vol.66, issue.3, pp.81-97, 2009.
DOI : 10.1016/j.datak.2008.05.001

G. Lowe, Specification of communicating processes: temporal logic versus refusals-based refinement, Formal Aspects of Computing, vol.56, issue.1???2, pp.277-294, 2008.
DOI : 10.3233/JCS-1998-61-204

C. Baier and J. Katoen, Principles Of Model Checking [online] Available from: http://mitpress, 2008.

T. A. Henzinger and H. Wong-toi, HYTECH: a??model checker for hybrid systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.110-122, 1997.
DOI : 10.1007/s100090050008
URL : http://www.cis.upenn.edu/~lee/99cis642/papers/hytech.ps

A. Cimatti, E. Clarke, and E. Giunchiglia, NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.359-364, 2002.
DOI : 10.1007/3-540-45657-0_29

M. Kadono, T. Tsuchiya, and T. Kikuno, Using the NuSMV Model Checker for Test Generation from Statecharts, 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, pp.37-42, 2009.
DOI : 10.1109/PRDC.2009.15

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

G. Holzmann, The Design and Validation of the CLASS.pdf, 2017.

G. J. Holzmann, P. Godefroid, and D. Pirottin, Coverage preserving reduction strategies for reachability analysis Available from: https://books.google.com/books?hl=en&lr=&id=Q1EvBQAAQBAJ&oi=fnd&pg=PA349 &dq='establish the correctness of systems of interacting concurrent processes by anSections 3 and 4 discuss the foundation for a partial order semantics, pp.349-363, 2013.
DOI : 10.1016/b978-0-444-89874-6.50028-3
URL : http://spinroot.com/gerard/pdf/pstv92.pdf

C. Daws, A. Olivero, S. Tripakis, Y. , and S. , The tool Kronos, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp.1066-208, 1996.
DOI : 10.1007/BFb0020947

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009

K. G. Larsen, P. Pettersson, Y. , and W. Y. , Compositional and symbolic model-checking of real-time systems, Proceedings 16th IEEE Real-Time Systems Symposium, pp.76-87, 1995.

H. M. Verbeek, T. Basten, and W. M. Van-der-aalst, Diagnosing Workflow Processes using Woflan, The Computer Journal, vol.44, issue.4, pp.246-279, 2001.
DOI : 10.1093/comjnl/44.4.246

G. Koliadis, Verifying Semantic Business Process Models in Verifying Semantic Business Process Models in Inter-operation, 2007.
DOI : 10.1109/scc.2007.128

E. Falkenberg, W. Hesse, and P. Lindgreen, A framework of information systems concepts [online]. Ifip Wg Available from, 1998.

B. J. Hommes, The Evaluation of Business Process Modeling Techniques, 2004.

H. Groefsema and D. Bucur, A Survey of Formal Business Process Verification: From Soundness to Variability, Proceedings of the Third International Symposium on Business Modeling and Software Design, pp.198-203, 2013.