Logical control of complex resource allocation systems, Trends Syst. Control, vol.4, issue.2, pp.1-223, 2017. ,
On reconfiguration theory of discrete-event systems: From initial specification until final deployment, IEEE Access, vol.7, pp.18219-18233, 2019. ,
Introduction to special issue on verification and evaluation of computer systems, Innov. Syst. Softw. Eng, vol.14, issue.2, pp.81-82, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02475802
Wafer sojourn time fluctuation analysis of time-constrained dual-arm cluster tools with wafer revisiting and activity time variation, Man, Cybern., Syst, vol.48, issue.4, pp.622-636, 2018. ,
Scheduling of singlearm cluster tools for an atomic layer deposition process with residency time constraints, Man, Cybern., Syst, vol.47, issue.3, pp.502-516, 2017. ,
Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation, IEEE Trans. Autom. Sci. Eng, vol.9, issue.1, pp.203-209, 2012. ,
Modeling, analysis and control of dualarm cluster tools with residency time constraint and activity time variation based on Petri nets, IEEE Trans. Autom. Sci. Eng, vol.9, issue.2, pp.446-454, 2012. ,
Petri net modeling and cycle time analysis of dual-arm cluster tools with wafer revisiting, Man, Cybern., Syst, vol.43, issue.1, pp.196-207, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00735482
Optimal one-wafer cyclic scheduling and buffer space configuration for single-arm multicluster tools with linear topology, Man, Cybern., Syst, vol.46, issue.10, pp.1456-1467, 2016. ,
Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis, IEEE Trans. Softw. Eng, vol.20, issue.5, pp.325-336, 1994. ,
Maximally permissive livenessenforcing supervisor with lowest implementation cost for flexible manufacturing systems, Inf. Sci, vol.256, issue.1, pp.74-90, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01126280
Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems, Man, Cybern. A, Syst., Humans, vol.42, issue.3, pp.615-629, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01126364
A new modified reachability tree approach and its applications to unbounded Petri nets, Man, Cybern., Syst, vol.43, issue.4, pp.932-940, 2013. ,
Robust deadlock control for automated manufacturing systems with unreliable resources based on Petri net reachability graphs, Man, Cybern., Syst, vol.49, issue.7, pp.1371-1385, 2019. ,
Petri nets: Properties, analysis and applications, Proc. IEEE, vol.77, pp.541-588, 1989. ,
A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Trans. Robot. Autom, vol.11, issue.2, pp.173-184, 1995. ,
A siphon-based deadlock prevention strategy for S 3 PR, IEEE Access, vol.7, pp.86863-86873, 2019. ,
Deadlock and liveness characterization for a class of generalized Petri nets, Inf. Sci, vol.420, pp.403-416, 2017. ,
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition, Inf. Sci, pp.87-100, 2017. ,
An iterative deadlock prevention policy based on siphons, Proc. IEEE 16th Int. Conf. Netw., Sens. Control (ICNSC), pp.242-246, 2019. ,
Deadlock analysis and control using Petri net decomposition techniques, Inf. Sci, vol.482, pp.440-456, 2019. ,
A deadlock prevention method for a class of FMS, Proc. 21st Century IEEE Int. Conf. Syst, pp.4119-4124, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-01125439
An improved mixedinteger programming method to compute emptiable minimal siphons in S 3 PR nets, IEEE Trans. Control Syst. Technol, vol.26, issue.6, pp.2135-2140, 2018. ,
On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resourceoriented Petri nets, ISA Trans, vol.80, pp.67-76, 2019. ,
Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs, Man, Cybern., Syst, vol.47, issue.2, pp.364-379, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02476553
Deadlock recovery for flexible manufacturing systems modeled with Petri nets, Inf. Sci, vol.381, pp.290-303, 2017. ,
A necessary and sufficient condition for a resource subset to generate a strict minimal siphon in S 4PR, IEEE Trans. Autom. Control, vol.62, issue.8, pp.4173-4179, 2017. ,
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions, Inf. Sci, vol.501, pp.635-654, 2019. ,
Event feedback supervision for a class of Petri nets with unobservable transitions, IEEE Access, vol.6, pp.6920-6926, 2018. ,
An algorithm of recognizing unbounded Petri nets with semilinear reachability sets and constructing their reachability trees, IEEE Access, vol.6, pp.43732-43742, 2018. ,
Optimal-cost reachability analysis based on time Petri nets, Proc. 18th Int. Conf. Appl. Concurrency Syst. Design (ACSD), pp.30-39, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01957173
Basis marking representation of Petri net reachability spaces and its application to the reachability problem, IEEE Trans. Autom. Control, vol.62, issue.3, pp.1078-1093, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01786021
On liveness and controlled siphons in Petri nets, Proc. 17th Int. Conf. Appl. Theory Petri Nets, pp.57-72, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01124759
Liveness-enforcing supervision in AMS-Oriented HAMGs: An approach based on new characterization of siphons using Petri nets, IEEE Trans. Autom. Control, vol.63, issue.7, 1987. ,
A resource allocation approach for enforcing liveness on a class of Petri nets, IEEE Access, vol.6, pp.48577-48587, 2018. ,
A resource configuration method for liveness of a class of Petri nets, IMA J. Math. Control Inf, vol.33, issue.4, pp.933-950, 2016. ,
On the equivalence between liveness and deadlock-freeness in Petri nets, Proc. Int. Conf. Appl. Theory Petri Nets, pp.90-107, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01124989
Time-varying automated manufacturing systems and their invariant-based control: A Petri net approach, IEEE Access, vol.7, pp.23149-23162, 2019. ,
Using partial orders to improve automatic verification methods, Proc. 2nd Workshop Comput. Aided Verification, pp.176-185, 1990. ,
Using partial order methods in the formal validation of industrial concurrent programs, IEEE Trans. Softw. Eng, vol.22, issue.7, pp.496-507, 1996. ,
A Partial approach to model checking, Proc. 6th Annu, pp.406-415, 1991. ,
Refining dependencies improves partialorder verification methods, Proc. 5th Int. Conf. Comput. Aided Verification, pp.438-449, 1993. ,
Partial-order methods for the verification of concurrent systems: An approach to the state-explosion problem, Lecture Notes in Computer Science, vol.1032, 1996. ,
Static partial order reduction, Proc. Int. Conf. Tools Algorithms Construct, pp.345-357, 1998. ,
Partial-order methods for model checking: From linear time to branching time, Proc. 11th Annu, pp.294-303, 1996. ,
Can stubborn sets be optimal?, '' Fundamenta Informaticae, vol.113, pp.377-397, 2011. ,
Stubborn set intuition explained,'' in Transactions on Petri Nets and Other Models of Concurrency XII, pp.140-165, 2017. ,
A stubborn attack on state explosion, Formal Methods Syst. Des, vol.1, issue.4, pp.297-322, 1992. ,
All from one, one for all: On model checking using representatives, Proc. 5th Int. Conf. Comput. Aided Verification, pp.409-423, 1993. ,
Stutter-invariant temporal properties are expressible without the next-time operator, Inf. Process. Lett, vol.63, issue.5, pp.243-246, 1997. ,
Delay-dependent partial order reduction technique for real time systems, vol.54, pp.278-306, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02475811
Covering step graph, Proc. 17th Int. Conf. Appl. Theory Petri Nets, pp.516-535, 1996. ,
On combining the persistent sets method with the covering steps graph method, Proc. Int. Conf. Formal Techn. Networked Distrib. Syst, pp.344-359, 2002. ,
Exploiting local persistency for reduced state space generation, Proc. 12th Int. Conf. Verification Eval, pp.166-181, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02475928
On persistency in time Petri nets, Proc. 16th Int. Conf. Formal Modeling Anal. Timed Syst, pp.108-124, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02475863
Verification of state-based opacity using Petri nets, IEEE Trans. Autom. Control, vol.62, issue.6, pp.2823-2837, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01786028
Marking estimation in a class of time labelled Petri nets, IEEE Trans. Autom. Control ,