, BPMN specification-business process model notation, 2017.
A technical comparison of XPDL, BPML and BPEL4WS, Cape Visions, vol.37, pp.38-39, 2002. ,
Business modeling with UML: Business Patterns at Work, 1998. ,
Enterprise modeling based on IDEF and UML, 2015 4th international conference on advanced information technology and sensor application (AITS), pp.59-62, 2015. ,
Re-engineering business process modeling, Proceedings of the 27th Hawaii international conference on system sciences, pp.4-7, 1994. ,
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. ,
Formal semantics and analysis of control flow in WS-BPEL, Sci Comp Program, vol.67, pp.162-198, 2007. ,
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
A divide-and-conquermethod for the synthesis of liveness enforcing supervisors for flexible manufacturing systems, J Intel Manufact, vol.27, pp.1111-1129, 2016. ,
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. ,
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
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
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
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
Reconfigurable coordination of distributed discrete event control systems, IEEE Trans Contr Syst Tech, vol.23, pp.323-330, 2015. ,
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. ,
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. ,
Dynamic lowpower reconfiguration of real-time systems with periodic and probabilistic tasks, IEEE Trans Automat Sci Eng, vol.12, pp.258-271, 2015. ,
Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement, Informat Sci, vol.417, pp.247-261, 2017. ,
Fault identification of discrete event systems modeled by Petri nets with unobservable transitions, IEEE Trans Syst Man Cyber Syst. Epub, 2017. ,
Robust deadlock control for automated manufacturing systems with unreliable resources based on Petri net reachability graphs, IEEE Trans Syst Man Cyber Syst. Epub, 2018. ,
Model-based fault identification of discrete event systems using partially observed Petri nets, Automatica, vol.96, pp.201-212, 2018. ,
On-line verification of current-state opacity by Petri nets and integer linear programming, Automatica, vol.94, pp.205-213, 2018. ,
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. ,
A learning-based synthesis approach to the supremal nonblocking supervisor of discrete-event systems, IEEE Trans Automat Contr, vol.63, pp.3345-3360, 2018. ,
Semantics and analysis of business process models in BPMN, Informat Software Tech, vol.50, pp.1281-1294, 2008. ,
A process semantics for BPMN, Proceedings of the international conference on formal engineering methods, pp.355-374, 2008. ,
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 ,
International conference on business process management, pp.145-160, 2006. ,
BPMN 2.0 execution semantics formalized as graph rewrite rules, Proceedings of the international workshop on business process modeling notation, pp.16-30, 2010. ,
Transformation of BPMN Models for behaviour analysis. In: Modelling, simulation, verification and validation of enterprise information systems, pp.126-137, 2007. ,
BPMN formalisation using coloured Petri nets, Proceedings of the 2nd GSTF annual international conference on software engineering & applications (SEA 2011), pp.12-13, 2011. ,
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. ,
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 ,
Formal semantics and analysis of BPMN process models using Petri nets, 2007. ,
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. ,
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. ,
An empirical study of error patterns in industrial business process models, IEEE Trans Serv Comp, vol.7, pp.140-153, 2014. ,
Efficient compliance checking using BPMN-Q and temporal logic, BPM, vol.5240, pp.326-341, 2008. ,
A visual token-based formalization of BPMN 2.00 based on in-place transformations, Informat Software Tech, vol.55, pp.365-394, 2013. ,
Formalisations and applications of BPMN, Sci Comp Program, vol.76, pp.633-650, 2011. ,
BPMN core modeling concepts: inheritance-based execution semantics, pp.287-332, 2007. ,
A process semantics for BPMN, ICFEM 2008, pp.355-374, 2008. ,
Diagnostic information for control-flow analysis of workflow graphs, pp.463-479, 2016. ,
Scientific method: optimizing applied research decisions, 1962. ,
Business processes-Attempts to find a definition, Informat Software Tech, vol.45, pp.1015-1019, 2003. ,
Business process modelling: review and frame-work, Int J Product Econ, vol.90, pp.129-149, 2004. ,
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. ,
Ontology-based semantic annotation of process templates for reuse, Proc CAISE, vol.5, pp.593-604, 2005. ,
Business process improvement: the breakthrough strategy for total quality, productivity and competitiveness, 1991. ,
Process innovation: reengineering work through information technology, 1993. ,
Reengineering work: don't automate, obliterate, Harvard Business Rev, vol.68, pp.104-112, 1990. ,
Reengineering the corporation: manifesto for business revolution, 2009. ,
Business process change: a study of methodologies, techniques, and tools, MIS Quarterly, vol.21, pp.55-80, 1997. ,
Quantitative analysis of static models of processes, J Syst Software, vol.52, pp.105-112, 2000. ,
The CAP framework for business process modeling, Informat Software Tech, vol.40, pp.731-744, 1998. ,
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. ,
Merging event-driven process chains, Proceedings on the move to meaningful internet systems: OTM, pp.418-426, 2008. ,
Formal verification of BPEL4WS business collaborations, International conference on electronic commerce and web technologies, pp.76-85, 2004. ,
Analysis of interacting BPEL web services, Proceedings of the 13th international conference on World Wide Web, pp.621-630, 2004. ,
ASM-based Semantics for BPEL: the negative control flow, Proceedings of the 12th international workshop on abstract state machines, pp.131-152, 2005. ,
Specification and validation of the business process execution language for web services, International workshop on abstract state machines, pp.78-94, 2004. ,
Web services: a process algebra approach, Proceedings of the 2nd international conference on service oriented computing, pp.242-251, 2004. ,
Transforming BPEL to Petri nets, International conference on business process management, pp.220-235, 2005. ,
, Yet Another Workflow Language. Informat Syst, vol.30, pp.245-275, 2005.
BPMN formalization and verification using Maude, Proceedings of the workshop on behaviour modelling-foundations and applications, 2014. ,
Specification of behavioral anti-patterns for the verification of blockstructured collaborative business processes, Informat Software Tech, vol.75, pp.148-170, 2016. ,
A modeling approach for collaborative business processes based on the UP-ColBPIP language, International conference on business process management, pp.318-329, 2009. ,
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
Oracle business process management suite 11g handbook, 2012. ,
Web service composition through BPEL using Intaglio, Proceedings of the computational intelligence and information technology, pp.873-876, 2011. ,
BPMN: an introduction to the standard, Comp Standard Interfaces, vol.34, pp.124-134, 2012. ,
Signavio offers collaborative process decision management, 2017. ,
Petri nets, ACM Comp Surv (CSUR), vol.9, pp.223-252, 1977. ,
Decentralized diagnosis by Petri nets and integer linear programming, IEEE T Syst Man Cyber, vol.48, pp.1689-1700, 2018. ,
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
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
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 ,
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
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
Dynamic multipleperiod reconfiguration of real-time scheduling based on timed DES supervisory control, IEEE Trans Ind Informat, vol.12, pp.101-111, 2016. ,
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. ,
Uniform verification of workflow soundness, Trans Inst Measure Contr J, vol.33, pp.133-148, 2011. ,
On liveness and controlled siphons in Petri nets, pp.57-72, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01124759
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.
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.
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
Improved multi-step lookahead control policies for automated manufacturing systems, IEEE Access, p.21, 2018. ,
New methodology for the development of reconfigurable WSN, IEEE Transactions on Automation Science and Engineering, vol.14, pp.109-125, 2017. ,
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. ,