, BPMN specification-business process model notation, 2017.

R. Shapiro, A technical comparison of XPDL, BPML and BPEL4WS, Cape Visions, vol.37, pp.38-39, 2002.

H. E. Eriksson and M. Penker, Business modeling with UML: Business Patterns at Work, 1998.

H. Yu and D. Wu, Enterprise modeling based on IDEF and UML, 2015 4th international conference on advanced information technology and sensor application (AITS), pp.59-62, 2015.

A. R. Dennis, G. S. Hayes, and R. M. Daniels, Re-engineering business process modeling, Proceedings of the 27th Hawaii international conference on system sciences, pp.4-7, 1994.

J. Mendling, K. B. Lassen, and U. Zdun, On the transformation of control flow between block-oriented and graphoriented process modeling languages, Int J Business Process Integr Manage, vol.3, pp.96-108, 2008.

C. Ouyang, E. Verbeek, and W. M. Van-der-aalst, Formal semantics and analysis of control flow in WS-BPEL, Sci Comp Program, vol.67, pp.162-198, 2007.

Y. F. Chen, Z. W. Li, and K. Barkaoui, Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs, IEEE T Syst Man Cyber, vol.47, pp.364-379, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02476553

M. Uzam, Z. W. Li, and G. Gelen, A divide-and-conquermethod for the synthesis of liveness enforcing supervisors for flexible manufacturing systems, J Intel Manufact, vol.27, pp.1111-1129, 2016.

Z. W. Li, G. Y. Liu, and M. H. Hanisch, Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems, IEEE T Syst Man Cy A, vol.42, pp.178-191, 2010.

Z. Y. Ma, Z. W. Li, and A. Giua, Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints, IEEE Trans Automat Contr, vol.60, pp.1774-1785, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01479627

J. H. Ye, Z. W. Li, and A. Giua, Decentralized supervision of Petri nets with a coordinator, IEEE T Syst Man Cyber, vol.45, pp.955-966, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01479628

Z. Ma, L. Z. Giua, and A. , Characterization of admissible marking sets in Petri nets with conflicts and synchronizations, IEEE Trans Automat Contr, vol.62, pp.1329-1341, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01479621

Z. Ma, Y. Tong, and Z. Li, Basis marking representation of Petri net reachability spaces and its application to the reachability problem, IEEE Trans Automat Contr, vol.62, pp.1078-1093, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01786021

J. F. Zhang, M. Khalgui, and Z. W. Li, Reconfigurable coordination of distributed discrete event control systems, IEEE Trans Contr Syst Tech, vol.23, pp.323-330, 2015.

N. Q. Wu and M. C. Zhou, Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation, IEEE Trans Automat Sci Eng, vol.9, pp.203-209, 2012.

N. Q. Wu and M. C. Zhou, Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets, IEEE Trans Automat Sci Eng, vol.9, pp.446-454, 2012.

X. Wang, I. Khemaissia, and M. Khalgui, Dynamic lowpower reconfiguration of real-time systems with periodic and probabilistic tasks, IEEE Trans Automat Sci Eng, vol.12, pp.258-271, 2015.

S. W. Zhang, N. Q. Wu, and Z. W. Li, Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement, Informat Sci, vol.417, pp.247-261, 2017.

G. H. Zhu, Z. W. Li, and N. Q. Wu, Fault identification of discrete event systems modeled by Petri nets with unobservable transitions, IEEE Trans Syst Man Cyber Syst. Epub, 2017.

G. Y. Liu, P. Li, and Z. W. Li, Robust deadlock control for automated manufacturing systems with unreliable resources based on Petri net reachability graphs, IEEE Trans Syst Man Cyber Syst. Epub, 2018.

G. H. Zhu, Z. W. Li, and N. Q. Wu, Model-based fault identification of discrete event systems using partially observed Petri nets, Automatica, vol.96, pp.201-212, 2018.

X. Y. Cong, M. P. Fanti, and A. M. Mangini, On-line verification of current-state opacity by Petri nets and integer linear programming, Automatica, vol.94, pp.205-213, 2018.

H. M. Zhang, L. Feng, and N. Q. Wu, Integration of learning-based testing and supervisory control for requirements conformance of black-box reactive systems, IEEE Trans Automat Sci Eng, vol.15, pp.2-15, 2018.

H. Zhang, L. Feng, and Z. Li, A learning-based synthesis approach to the supremal nonblocking supervisor of discrete-event systems, IEEE Trans Automat Contr, vol.63, pp.3345-3360, 2018.

R. M. Dijkman, M. Dumas, and C. Ouyang, Semantics and analysis of business process models in BPMN, Informat Software Tech, vol.50, pp.1281-1294, 2008.

W. Py and J. Gibbons, A process semantics for BPMN, Proceedings of the international conference on formal engineering methods, pp.355-374, 2008.

T. Gibson-robinson, P. Armstrong, and A. Boulgakov, FDR3 -a modern refinement checker for CSP, Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.187-201

F. Puhlmann and M. Weske, International conference on business process management, pp.145-160, 2006.

R. Dijkman and P. Van-gorp, BPMN 2.0 execution semantics formalized as graph rewrite rules, Proceedings of the international workshop on business process modeling notation, pp.16-30, 2010.

I. Raedts, M. Petkovic, and Y. S. Usenko, Transformation of BPMN Models for behaviour analysis. In: Modelling, simulation, verification and validation of enterprise information systems, pp.126-137, 2007.

M. Ramadan, H. G. Elmongui, and R. Hassan, BPMN formalisation using coloured Petri nets, Proceedings of the 2nd GSTF annual international conference on software engineering & applications (SEA 2011), pp.12-13, 2011.

R. Koniewski, A. Dzielinski, and K. Amborski, Use of Petri nets and business processes management notation in modelling and simulation of multimodal logistics chains, Proceedings of the 20th European conference on modeling and simulation, pp.28-31, 2006.

S. Meghzili, A. Chaoui, and M. Strecker, Transformation and validation of BPMN models to Petri nets models using GROOVE, Proceedings of international conference on advanced aspects of software engineering (ICAASE), pp.22-29

R. Dijkman, M. Dumas, and C. Ouyang, Formal semantics and analysis of BPMN process models using Petri nets, 2007.

H. Groefsema and D. Bucur, A survey of formal business process verification: from soundness to variability, Proceedings of the 3rd international symposium on business modeling and software design, pp.198-203, 2013.

O. M. Kherbouche, A. A. Basson, and H. , Using model checking to control the structural errors in BPMN models, 2013 IEEE seventh international conference on research challenges in information science (RCIS), pp.1-12, 2013.

S. Roy, A. Sajeev, and S. Bihary, An empirical study of error patterns in industrial business process models, IEEE Trans Serv Comp, vol.7, pp.140-153, 2014.

A. Awad, G. Decker, and M. Weske, Efficient compliance checking using BPMN-Q and temporal logic, BPM, vol.5240, pp.326-341, 2008.

P. Van-gorp and R. Dijkman, A visual token-based formalization of BPMN 2.00 based on in-place transformations, Informat Software Tech, vol.55, pp.365-394, 2013.

P. Wong and J. Gibbons, Formalisations and applications of BPMN, Sci Comp Program, vol.76, pp.633-650, 2011.

E. Bo¨rger and O. So¨rensen, BPMN core modeling concepts: inheritance-based execution semantics, pp.287-332, 2007.

P. Wong and J. Gibbons, A process semantics for BPMN, ICFEM 2008, pp.355-374, 2008.

C. Favre, H. Vo¨lzer, and P. Mu¨ller, Diagnostic information for control-flow analysis of workflow graphs, pp.463-479, 2016.

R. L. Ackoff, Scientific method: optimizing applied research decisions, 1962.

A. Lindsay, D. Downs, and K. Lunn, Business processes-Attempts to find a definition, Informat Software Tech, vol.45, pp.1015-1019, 2003.

R. S. Aguilar-saven, Business process modelling: review and frame-work, Int J Product Econ, vol.90, pp.129-149, 2004.

M. Hepp, F. Leymann, and J. Domingue, Semantic business process management: a vision towards using semantic web services for business process management, Proceedings of the E-business engineering (ICEBE), Beijing, pp.535-540, 2005.

Y. Lin and D. Strasunskas, Ontology-based semantic annotation of process templates for reuse, Proc CAISE, vol.5, pp.593-604, 2005.

H. J. Harrington, Business process improvement: the breakthrough strategy for total quality, productivity and competitiveness, 1991.

T. H. Davenport, Process innovation: reengineering work through information technology, 1993.

M. Hammer, Reengineering work: don't automate, obliterate, Harvard Business Rev, vol.68, pp.104-112, 1990.

M. Hammer and J. Champy, Reengineering the corporation: manifesto for business revolution, 2009.

W. J. Kettinger, J. T. Teng, and S. Guha, Business process change: a study of methodologies, techniques, and tools, MIS Quarterly, vol.21, pp.55-80, 1997.

K. T. Phalp and S. Martin, Quantitative analysis of static models of processes, J Syst Software, vol.52, pp.105-112, 2000.

K. T. Phalp, The CAP framework for business process modeling, Informat Software Tech, vol.40, pp.731-744, 1998.

N. Lohmann, E. Verbeek, and R. Dijkman, Petri net transformations for business processes-a survey, Transactions on Petri nets and other models of concurrency (ToPNoC II), vol.5460, pp.46-63, 2009.

F. Gottschalk, W. M. Van-der-aalst, J. , and M. , Merging event-driven process chains, Proceedings on the move to meaningful internet systems: OTM, pp.418-426, 2008.

J. A. Fisteus, L. S. Ferna´ndez, and C. D. Kloos, Formal verification of BPEL4WS business collaborations, International conference on electronic commerce and web technologies, pp.76-85, 2004.

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th international conference on World Wide Web, pp.621-630, 2004.

D. Fahland and W. Reisig, ASM-based Semantics for BPEL: the negative control flow, Proceedings of the 12th international workshop on abstract state machines, pp.131-152, 2005.

R. Farahbod, U. Gla¨sser, and M. Vajihollahi, Specification and validation of the business process execution language for web services, International workshop on abstract state machines, pp.78-94, 2004.

A. Ferrara, Web services: a process algebra approach, Proceedings of the 2nd international conference on service oriented computing, pp.242-251, 2004.

S. Hinz, K. Schmidt, and C. Stahl, Transforming BPEL to Petri nets, International conference on business process management, pp.220-235, 2005.

W. M. Van-der-aalst, T. Hofstede, and A. H. Yawl, Yet Another Workflow Language. Informat Syst, vol.30, pp.245-275, 2005.

N. El-saber and A. Boronat, BPMN formalization and verification using Maude, Proceedings of the workshop on behaviour modelling-foundations and applications, 2014.

J. Roa, O. Chiotti, and P. Villarreal, Specification of behavioral anti-patterns for the verification of blockstructured collaborative business processes, Informat Software Tech, vol.75, pp.148-170, 2016.

P. D. Villarreal, I. Lazarte, and J. Roa, A modeling approach for collaborative business processes based on the UP-ColBPIP language, International conference on business process management, pp.318-329, 2009.

A. Kheldoun, K. Barkaoui, and M. Ioualalen, Formal verification of complex business processes based on high-level Petri nets, Informat Sci, vol.385, pp.39-54, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02476533

M. Das, D. M. Wilkins, and M. , Oracle business process management suite 11g handbook, 2012.

R. Bhandari, U. Suman, and A. K. Ramani, Web service composition through BPEL using Intaglio, Proceedings of the computational intelligence and information technology, pp.873-876, 2011.

M. Chinosi and A. Trombetta, BPMN: an introduction to the standard, Comp Standard Interfaces, vol.34, pp.124-134, 2012.

. Signavio, Signavio offers collaborative process decision management, 2017.

J. L. Peterson, Petri nets, ACM Comp Surv (CSUR), vol.9, pp.223-252, 1977.

X. Cong, M. Fanti, and A. Mangini, Decentralized diagnosis by Petri nets and integer linear programming, IEEE T Syst Man Cyber, vol.48, pp.1689-1700, 2018.

Y. F. Chen, Z. W. Li, and K. Barkaoui, New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs, IEEE T Syst Man Cyber, vol.44, pp.1384-1400, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01126349

Y. F. Chen, Z. W. Li, and K. Barkaoui, On the enforcement of a class of nonlinear constraints on Petri nets, Automatica, vol.55, pp.116-124, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02479661

L. P. Bai, N. Q. Wu, and Z. W. Li, Optimal one-wafer cyclic scheduling and buffer space configuration for single-arm multicluster tools with linear topology, IEEE T Syst Man Cyber, vol.46, pp.1456-1467

Y. Tong, L. Z. Giua, and A. , On the equivalence of observation structures for Petri net generators, IEEE Trans Automat Contr, vol.61, pp.2448-2462, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01479623

Y. Tong, Z. W. Li, and C. Seatzu, Verification of statebased opacity using Petri nets, IEEE Trans Automat Contr, vol.62, pp.2823-2837, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01786028

X. Wang, L. Z. Wonham, and W. M. , Dynamic multipleperiod reconfiguration of real-time scheduling based on timed DES supervisory control, IEEE Trans Ind Informat, vol.12, pp.101-111, 2016.

K. Barkaoui and L. Petrucci, Structural analysis of workflow nets with shared resources, Proceedings of the workflow management: net-based concepts, models, techniques and tools, vol.98, pp.82-95, 1998.

K. Barkaoui, B. Ayed, R. Sbai, and Z. , Uniform verification of workflow soundness, Trans Inst Measure Contr J, vol.33, pp.133-148, 2011.

K. Barkaoui and J. F. Pradat-peyre, On liveness and controlled siphons in Petri nets, pp.57-72, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01124759

W. M. Van-der-aalst, International conference on application and theory of Petri nets, pp.407-426, 1997.

, GPenSIM: a tool for mathematical modeling simulation of discrete-event systems, 2017.

R. Davidrajuh, Developing a Petri nets based real-time control simulator, Int J Simulat Syst Sci Tech, vol.12, pp.28-36, 2012.

, The TINA toolbox Home Page-TIme Petri Net Analyzer by LAAS/CNRS. projects.laas.fr, 2017.

G. Gardey, D. Lime, and M. Magnin, Romeo: a tool for analyzing time Petri nets, Proceedings of the international conference on computer aided verification, pp.418-423, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00523596

C. Gu, Z. W. Li, and N. Q. Wu, Improved multi-step lookahead control policies for automated manufacturing systems, IEEE Access, p.21, 2018.

H. Grichi, O. Mosbahi, and M. Khalgui, New methodology for the development of reconfigurable WSN, IEEE Transactions on Automation Science and Engineering, vol.14, pp.109-125, 2017.

H. Grichi, O. Mosbahi, and M. Khalgui, New poweroriented methodology for dynamic resizing and mobility of reconfigurable wireless sensor networks, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.48, pp.1120-1130, 2018.