Automated manufacturing system: virtualnets or non-virtual-nets?, IET Control Theory A, vol.3, pp.671-680, 2009. ,
Modeling and control of automated manufacturing systems, 1989. ,
A survey of Petri net applications in modeling controls for automated manufacturing systems, Comput Ind, vol.24, pp.5-16, 1994. ,
Distributed event-control for deadlock avoidance in automated manufacturing systems, Int J Prod Res, vol.39, pp.1993-2021, 2001. ,
Deadlock control methods in automated manufacturing systems, IEEE T Syst Man Cy A, vol.34, pp.5-22, 2004. ,
Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources, Int J Adv Manuf Tech, vol.40, pp.566-571, 2009. ,
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons, J Intell Manuf, vol.21, pp.555-567, 2010. ,
Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems, IEEE T Syst Man Cy A, vol.41, pp.201-212, 2011. ,
A review of synthesis techniques for Petri nets with applications to automated manufacturing systems, IEEE T Syst Man Cyb, vol.23, pp.301-312, 1993. ,
An efficient real-time deadlock-free control algorithm for automated manufacturing systems, Int J Prod Res, vol.35, pp.1545-1560, 1997. ,
Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems, Int J Prod Res, vol.38, pp.2931-2950, 2000. ,
Deadlock avoidance policies for automated manufacturing cells, IEEE T Robotic Autom, vol.12, pp.845-857, 1996. ,
Performance modeling of automated manufacturing systems, 1992. ,
Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems, IEEE T Robotic Autom, vol.17, pp.658-669, 2001. ,
Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles, IEEE T Syst Man Cy B, vol.35, pp.1193-1202, 2005. ,
Deadlock resolution in automated manufacturing systems with robots, IEEE T Autom Sci Eng, vol.4, pp.474-480, 2007. ,
Real-time deadlock detection and recovery for automated manufacturing systems, Int J Adv Manuf Tech, vol.20, pp.780-786, 2002. ,
Graph-theoretic deadlock detection and resolution for flexible manufacturing systems, IEEE T Robotic Autom, vol.11, pp.413-421, 1995. ,
System deadlocks, ACM Comput Surv, vol.3, pp.66-78, 1971. ,
Deadlock prediction: easy and difficult cases, SIAM J Comput, vol.7, pp.320-336, 1978. ,
The deadlock problem: an overview, Computer, vol.13, pp.58-77, 1980. ,
An incremental Petri net-based approach to the modeling of production sequences in manufacturing systems, IEEE T Autom Sci Eng, vol.4, pp.424-434, 2007. ,
Petri nets applications in automated manufacturing systems (special issue), Int J Adv Manuf Tech, vol.14, 1998. ,
, , 1992.
Applications of Petri nets in manufacturing systems: modeling, control, and performance analysis, 1994. ,
Practice of Petri nets in manufacturing, 1993. ,
Modeling and control of discreteevent dynamic systems: with Petri nets and other tools, 2007. ,
Supervisory control of concurrent systems: a Petri net structural approach, 2006. ,
A Petri net synthesis theory for modeling flexible manufacturing systems, IEEE T Syst Man Cy B, vol.27, pp.169-183, 1997. ,
Colored Petri nets: basic concepts, analysis methods and practical use, 1994. ,
Deadlock resolution in automated manufacturing systems: a novel Petri net approach, 2009. ,
Modelling with generalized stochastic Petri nets, 1995. ,
Petri net models of flexible and automated manufacturing systems: a survey, Int J Prod Res, vol.34, pp.3001-3035, 1996. ,
Petri nets: properties, analysis and applications, P IEEE, vol.77, pp.541-580, 1989. ,
Petri nets, ACM Comput Surv, vol.9, pp.223-252, 1977. ,
Petri net theory and the modeling of systems, 1981. ,
Petri nets: a tool for design and management of manufacturing systems, 1996. ,
Petri nets: an introduction, 1985. ,
Petri nets and production systems, Lectures on Petri nets II: applications, vol.1492, pp.85-124, 1998. ,
On Petri net modeling of automated manufacturing systems, Proceedings of the IEEE international conference on networking, sensing and control, pp.228-233, 2007. ,
Process vs resource-oriented Petri net modeling of automated manufacturing systems, Asian J Control, vol.12, pp.267-280, 2010. ,
System modeling and control with resource-oriented Petri nets, 2010. ,
Petri net synthesis for discrete event control of manufacturing systems, 1993. ,
Petri nets in flexible and agile automation, 1995. ,
Modeling, simulation, and control of flexible manufacturing systems: a Petri net approach, 1998. ,
Petri nets and industrial applications: a tutorial, IEEE T Ind Electron, vol.41, pp.567-583, 1994. ,
Petri nets and industrial applications: a tutorial, IEEE T Ind Electron, vol.41, pp.567-583, 1994. ,
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows, IEEE T Robotic Autom, vol.6, pp.724-734, 1990. ,
A deadlock prevention method for a class of FMS, Proceedings of the IEEE international conference on systems, man and cybernetics, pp.4119-4124, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-01125439
Deadlock recovery of Petri net models controlled using observers, Proceedings of the IEEE international conference on emerging technologies and factory automation, vol.15, pp.441-449, 2001. ,
Weighted characteristic P-vector and deadlock control of WS 3 PR, J Inf Sci Eng, vol.26, pp.1121-1136, 2010. ,
Fewer monitors and more efficient controllability for deadlock control in S 3 PGR 2 (systems of simple sequential processes with general resource requirements) ,
, , vol.53, pp.1783-1798, 2010.
A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states, IEEE T Robotic Autom, vol.18, pp.621-625, 2002. ,
A deadlock avoidance approach for nonsequential resource allocation systems, IEEE T Syst Man Cy A, vol.34, pp.93-101, 2004. ,
Deadlock detection and recovery in flexible production systems with multiple capacity resources, Proceedings of the 8th Mediterranean electrotechnical conference, pp.237-241, 1996. ,
Performance of deadlock avoidance algorithms in flexible manufacturing systems, J Manuf Syst, vol.15, pp.164-178, 1996. ,
Event-based feedback control for deadlock avoidance in flexible production systems, IEEE T Robotic Autom, vol.13, pp.347-363, 1997. ,
Monitor design for colored Petri nets: an application to deadlock prevention in railway networks, Control Eng Pract, vol.14, pp.1231-1247, 2006. ,
On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors, Proceedings of the 39th IEEE conference on decision and control, vol.3, pp.2657-2662, 2002. ,
Liveness verification of discrete-event systems modeled by n-safe ordinary Petri nets, Proceedings of the 21st international conference on application and theory of Petri nets, vol.1825, pp.227-243, 2000. ,
Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods, IEEE T Automat Contr, vol.47, pp.1042-1055, 2002. ,
A survey of Petri net methods for controlled discrete event systems, Discrete Event Dyn S, vol.7, pp.151-190, 1997. ,
Deadlock control for a class of generalized Petri nets based on proper resource allocation, Asian J Control, vol.18, pp.206-223, 2016. ,
Clarification on the computation of liveness-enforcing supervisor for resource allocation systems with uncontrollable behavior, IEEE T Autom Sci Eng, vol.6, pp.557-559, 2009. ,
Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets, IEEE T Autom Sci Eng, vol.7, pp.549-557, 2010. ,
Low-cost and highperformance supervision in ratio-enforced automated manufacturing systems using timed Petri nets, IEEE T Autom Sci Eng, vol.7, pp.933-944, 2010. ,
Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets, IEEE T Autom Sci Eng, vol.8, pp.794-804, 2011. ,
Liveness and ratioenforcing supervision of automated manufacturing systems using Petri nets, IEEE T Syst Man Cy A, vol.42, pp.392-403, 2012. ,
An optimization approach to improved Petri net controller design for automated manufacturing systems, IEEE T Autom Sci Eng, vol.10, pp.772-782, 2013. ,
Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets, IEEE T Ind Inform, vol.9, pp.109-121, 2013. ,
Generalized conditions for liveness enforcement and deadlock prevention in Petri nets, Proceedings of the 22nd international conference on applications and theory of Petri nets, vol.2075, pp.184-203, 2001. ,
Synthesis of deadlock prevention supervisors using Petri nets, IEEE T Robotic Autom, vol.18, pp.59-68, 2002. ,
The linear algebra of deadlock avoidance: a Petri net approach, 1996. ,
Comparison of two deadlock prevention methods for different-size flexible manufacturing systems, Int J Intell Contr Syst, vol.10, pp.235-243, 2005. ,
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems, IEEE T Syst Man Cy C, vol.39, pp.156-169, 2009. ,
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors, Comput Ind Eng, vol.56, pp.53-62, 2009. ,
Smart deadlock prevention policy for flexible manufacturing systems using Petri nets, IET Control Theory A, vol.3, pp.362-374, 2009. ,
Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets, IEEE T Syst Man Cy C, vol.40, pp.330-340, 2010. ,
Identification of controllable transitions to decide the existence of an optimal livenessenforcing supervisor for a class of Petri nets, T I Meas Control, vol.33, pp.406-421, 2011. ,
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, 2012. ,
Deadlock analysis and control in resource allocation systems, Inform Sciences, vol.363, pp.174-177, 2016. ,
Two simple deadlock prevention policies for S 3 PR based on key-resource/operation-place pairs, IEEE T Autom Sci Eng, vol.7, pp.945-957, 2010. ,
General mixed integer programming-based liveness test for system of sequential systems with shared resources nets, IET Control Theory A, vol.4, pp.2867-2878, 2010. ,
Robustness of deadlock control for a class of Petri nets with unreliable resources, Inform Sciences, vol.235, pp.259-279, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01126292
Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems, Int J Prod Res, vol.43, pp.5131-5159, 2005. ,
Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints, IEEE T Automat Contr, vol.60, pp.1774-1785, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01479627
Petri net controllers for generalized mutual exclusion constraints with floor operators, Automatica, vol.74, pp.238-246, 2016. ,
Supervisory control of Petri nets with uncontrollable/unobservable transitions, Proceedings of the 35th IEEE conference on decision and control, vol.4, pp.4433-4438, 1996. ,
Petri net supervisors for DES with uncontrollable and unobservable transitions, IEEE T Automat Contr, vol.45, pp.462-476, 2000. ,
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings, IEEE T Automat Contr, vol.46, pp.1572-1583, 2001. ,
On applicability of deadlock prevention policies with uncontrollable and unobservable transitions, Int J Innov Comput I, vol.7, pp.4115-4127, 2011. ,
Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems, IEEE T Automat Contr, vol.42, pp.1344-1357, 1997. ,
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets, IEEE T Automat Contr, vol.42, pp.928-945, 1997. ,
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cutplaces and cut-transitions, IEEE T Automat Contr, vol.44, pp.1221-1225, 1999. ,
Deadlock prevention using Petri nets and their unfoldings, Int J Adv Manuf Tech, vol.14, pp.750-759, 1998. ,
Using linear programming and the Petri net structure for deadlock prevention in sequential resource allocation systems, Proceedings of the XIII Jornadas de Concurrencia y Sistemas Distribuidos, Granada, pp.65-77, 2005. ,
The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems, Int J Adv Manuf Tech, vol.23, pp.204-219, 2004. ,
An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems, IEEE T Syst Man Cy A, vol.37, pp.362-371, 2007. ,
Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS, Int J Adv Manuf Tech, vol.35, pp.150-168, 2007. ,
A divide-and-conquermethod for the synthesis of liveness enforcing supervisors for flexible manufacturing systems, J Intell Manuf, vol.27, pp.1111-1129, 2016. ,
Think globally act locally approach for the synthesis of a livenessenforcing supervisor of FMSs based on Petri nets, Int J Prod Res, vol.54, pp.4634-4657, 2016. ,
Efficient detection of deadlocks in Petri nets, 1993. ,
Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models, IEEE T Robotic Autom, vol.6, pp.713-723, 1991. ,
A versatile supervisor with one monitor based on macro-tokens, IMA J Math Control I, vol.31, pp.245-256, 2014. ,
Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model, IEEE T Syst Man Cy C, vol.29, pp.192-204, 1999. ,
Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model, Int J Prod Res, vol.40, pp.223-238, 2002. ,
Resource-oriented Petri net for deadlock avoidance in flexible assembly systems, IEEE T Syst Man Cy A, vol.38, pp.56-69, 2008. ,
Petri net modeling and one-step look-ahead maximally permissive deadlock control of AMS, ACM T Embed Comput S, vol.12, pp.1-22, 2013. ,
Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources, IEEE T Automat Contr, vol.41, pp.289-295, 1996. ,
Modeling and optimal control of discrete-event chemical processes using Petri nets, Comput Chem Eng, vol.15, pp.503-519, 1991. ,
A deadlock prevention policy for a class of Petri nets S 3 PMR, J Inf Sci Eng, vol.25, pp.167-183, 2009. ,
An algorithm for the minimum initial marking problem of a structurally live Petri net with inhibitor arcs, IEEJ T Electr Electr, vol.11, pp.586-592, 2016. ,
On deadlock control for a class of generalised Petri net models of flexible manufacturing systems, Int J Prod Res, vol.47, pp.6085-6107, 2009. ,
On nonexistence of a maximally permissive liveness-enforcing pure net supervisor, IEEE T Syst Man Cy A, vol.43, pp.29-37, 2013. ,
Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources, IEEE T Robotic Autom, vol.7, pp.515-527, 1991. ,
A hybrid methodology for synthesis of Petri net models for manufacturing systems, IEEE T Robotic Autom, vol.8, pp.350-361, 1992. ,
Design and implementation of a Petri net based supervisor for a flexible manufacturing system, Automatica, vol.28, pp.1199-1208, 1992. ,
Deadlock recovery for flexible manufacturing systems modeled with Petri nets, Inform Sciences, vol.381, pp.290-303, 2017. ,
Control and error recovery of Petri net models with event observers, Proceedings of the 2nd international work manufacturing Petri nets, pp.53-68, 1997. ,
Digraph-theoretic approach for deadlock detection and recovery in flexible production systems, Stud Inform Control, vol.5, pp.373-383, 1996. ,
Deadlock analysis, prevention and avoidance in sequential resource allocation systems, PhD Dissertation, 2003. ,
Comments on ''Deadlock prevention and avoidance in FMS: a Petri net based approach, Int J Adv Manuf Tech, vol.39, pp.317-318, 2008. ,
Confusion avoidance for discrete event systems by P/E constraints and supervisory control, IMA J Math Control I, vol.33, pp.309-332, 2016. ,
Confusion diagnosis and avoidance of discrete event systems using supervisory control, IEEJ T Electr Electr, vol.11, pp.49-62, 2016. ,
Event control for deadlock avoidance in production systems with multiple capacity resources, Stud Inform Control, vol.7, pp.343-364, 1998. ,
Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems, IEEE T Robotic Autom, vol.10, pp.196-209, 1994. ,
Fault-tolerant deadlock avoidance algorithm for assembly processes, IEEE T Syst Man Cy A, vol.34, pp.65-79, 2004. ,
A correct and scalable deadlock avoidance policy for flexible manufacturing systems, IEEE T Robotic Autom, vol.14, pp.796-809, 1998. ,
Deadlock avoidance for production systems with flexible routing, IEEE T Robotic Autom, vol.15, pp.497-509, 1999. ,
Deadlock avoidance for sequential resource allocation systems: hard and easy cases, Int J Flex Manuf Sys, vol.13, pp.385-404, 2001. ,
Structural analysis and control of resource allocation systems using Petri nets, 2000. ,
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems, IEEE T Robotic Autom, vol.16, pp.190-195, 2000. ,
Algebraic deadlock avoidance policies for sequential resource allocation systems, pp.235-289, 2007. ,
Minimal restrictive deadlock avoidance in FMSs, Proceedings of the European control conference, vol.2, pp.530-534, 1993. ,
Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches, J Manuf Syst, vol.13, pp.128-138, 1994. ,
Optimal Petri-netbased polynomial-complexity deadlock-avoidance policies for automated manufacturing systems, IEEE T Syst Man Cy A, vol.39, pp.188-199, 2009. ,
Reducing MIP iterations for deadlock prevention of flexible manufacturing systems, Int J Adv Manuf Tech, vol.41, pp.343-346, 2009. ,
Formal theory of state loss of Siphon-based deadlock prevention, IET Control Theory A, vol.5, pp.1013-1021, 2011. ,
A deadlock prevention approach for a class of timed Petri nets using elementary siphons, Asian J Control, vol.12, pp.347-363, 2010. ,
A deadlock prevention policy for flexible manufacturing systems using siphons, Proceedings of the IEEE international conference on robotics and automation, pp.541-546, 2001. ,
Design of deadlock prevention supervisors for FMS using Petri nets, Int J Adv Manuf Tech, vol.35, pp.349-362, 2007. ,
Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems, Math Probl Eng, pp.537893-537894, 2015. ,
Deadlock prevention for a class of Petri nets with uncontrollable and unobservable transitions, IEEE T Syst Man Cy A, vol.42, pp.727-738, 2012. ,
An iterative method for deadlock prevention in FMSs, Proceedings of the 5th workshop on discrete event systems (eds R Boel and G Stremersch), pp.139-148, 2000. ,
On an iterative deadlock prevention approach for automated manufacturing systems, Int J Adv Manuf Tech, vol.74, pp.503-507, 2014. ,
Sequence control of essential siphons for deadlock prevention in Petri nets, ACM T Embed Comput S, vol.12, pp.176-179, 2013. ,
Optimal one-wafer cyclic scheduling and buffer space configuration for singlearm multicluster tools with linear topology, IEEE T Syst Man Cy A, vol.46, pp.1456-1467, 2016. ,
Dynamic multipleperiod reconfiguration of real-time scheduling based on timed des supervisory control, IEEE T Ind Inform, vol.12, pp.101-111, 2016. ,
Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation, IEEE T Autom Sci Eng, vol.9, pp.203-209, 2012. ,
Scheduling of singlearm cluster tools for an atomic layer deposition process with residency time constraints. IEEE T Syst Man Cy A. Epub ahead of print 29, 2016. ,
R-TNCES: a novel formalism for reconfigurable discrete event control systems, IEEE T Syst Man Cy A, vol.43, pp.757-772, 2013. ,
Reconfigurable coordination of distributed discrete event control systems, IEEE T Contr Syst T, vol.23, pp.323-330, 2015. ,
Coevolution of aspirations and cooperation in spatial prisoner's dilemma game, J Stat Mech: Theory E, p.1032, 2015. ,
Liveness enforcing supervisors for railway networks using ES 2 PR Petri nets, Proceedings of the 6th international workshop on discrete event systems (WODES 02), pp.55-60, 2002. ,
Modeling and supervisory control of railway networks using Petri nets, IEEE T Autom Sci Eng, vol.5, pp.431-445, 2008. ,
A genetic algorithm approach to short-term scheduling of crude oil operations in refinery, IEEJ T Electr Electr, vol.11, pp.593-603, 2016. ,
Liveness enforcing supervision of video streaming systems using nonsequential Petri nets, IEEE T Multimedia, vol.11, pp.1457-1465, 2009. ,
Liveness enforcing supervision in video streaming systems using siphons, J Inf Sci Eng, vol.25, pp.1863-1864, 2009. ,
Modeling and scheduling for manufacturing grid workflows using timed Petri nets, Int J Adv Manuf Tech, vol.42, pp.553-568, 2009. ,
Reversed fuzzy Petri nets and their application for fault diagnosis, Comput Ind Eng, vol.60, pp.505-510, 2011. ,
Engineering applications of Petri nets (special issue), IEEE T Syst Man Cy C, vol.37, pp.442-443, 2007. ,
A reconfigurable multi-agent system architecture for error recovery in production systems, Robot Cim: Int Manuf, vol.19, pp.35-43, 2003. ,
Verification of statebased opacity using Petri nets. IEEE T Automat Contr. Epub ahead of print 24, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01786028
Shortest routing of bidirectional automated guided vehicles avoiding deadlock and blocking, IEEE/ASME T Mech, vol.12, pp.63-72, 2007. ,
Short-term schedulability analysis of multiple distiller crude oil operations in refinery with oil residency time constraint, IEEE T Syst Man Cy C, vol.39, pp.1-16, 2009. ,
Hybrid Petri net modeling and schedulability analysis of high fusion point oil transportation under tank grouping strategy for crude oil operations in refinery, IEEE T Syst Man Cy C, vol.40, pp.159-175, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00645147
Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets, IEEE T Autom Sci Eng, vol.9, pp.446-454, 2012. ,
Petri net modeling and cycle-time analysis of dual-arm cluster tools with wafer revisiting, IEEE T Syst Man Cy A, vol.43, pp.196-207, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00735482
Short-term scheduling of crude-oil operations: enhancement of crude-oil operations scheduling using a Petri net-based control-theoretic approach, IEEE Robot Autom Mag, vol.22, pp.64-76, 2015. ,
Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines, Enterp Inform Syst, vol.10, pp.581-610, 2016. ,
Decentralized supervision of Petri nets with a coordinator, IEEE T Syst Man Cy A, vol.45, pp.955-966, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01479628
Theory of regions, Lectures on Petri nets I: basic models, vol.1491, pp.529-586, 1998. ,
Most permissive livenessenforcing Petri net supervisors for flexible manufacturing systems, Int J Prod Res, vol.50, pp.6357-6371, 2012. ,
Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems, IEEE T Syst Man Cy A, vol.42, pp.615-629, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01126364
Reachability set generation for Petri nets: can brute force be smart?, Proceedings of the 25th international conference on applications and theory of Petri nets, vol.3099, pp.17-34, 2004. ,
Region based synthesis of P/T-nets and its potential applications, Proceedings of the 21st international conference on application and theory of Petri nets, vol.1825, pp.16-23, 2000. ,
Design of a live and maximally permissive Petri net controller using the theory of regions, IEEE T Robotic Autom, vol.19, pp.137-141, 2003. ,
Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs, Comput Ind Eng, vol.57, pp.1168-1181, 2009. ,
Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, Computer aided verification, vol.663, pp.164-177, 1992. ,
Efficient reachability set generation and storage using decision diagrams, Application and theory of Petri nets: proceedings of the 20th international conference, vol.1639, pp.6-25, 1999. ,
An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions, Int J Adv Manuf Tech, vol.19, pp.192-208, 2002. ,
A new modified reachability tree approach and its applications to unbounded Petri nets, IEEE T Syst Man Cy A, vol.43, pp.932-940, 2013. ,
Reachability analysis of a class of Petri nets using place invariants and siphons, Maejo Int J Sci Tech, vol.7, pp.278-290, 2013. ,
An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory, Proceedings of the 10th international conference application theory Petri nets, pp.1-21, 1989. ,
URL : https://hal.archives-ouvertes.fr/hal-01125443
Supervisory control of discrete event systems based on structure theory of Petri nets, Proceedings of the IEEE international conference on systems, man, and cybernetics, 1997: computational cybernetics and simulation, pp.3750-3755, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-01125433
Structural analysis of workflow nets with shared resources, Proceedings of the workshop workflow management: net-based concepts, models, technology tools, vol.9807, pp.82-95, 1998. ,
Verification in concurrent programming with Petri nets structural techniques, Proceedings of the 3rd IEEE international high-assurance systems engineering symposium (HASE '98), pp.124-133, 1998. ,
URL : https://hal.archives-ouvertes.fr/hal-01124757
Uniform verification of workflow soundness, T I Meas Control, vol.33, pp.133-148, 2011. ,
Maximal class of weakly live nets with nonempty siphons, IEEE T Syst Man Cy B, vol.36, pp.1332-1341, 2006. ,
Efficient siphon-based deadlock detection in Petri nets, Presented at the 3rd international conference on computer science and information technology, pp.23-26, 2007. ,
Supervision based on place invariants: a survey, Discrete Event Dyn S, vol.16, pp.451-492, 2006. ,
Analysis of modularly composed nets by siphons, IEEE T Syst Man Cy A, vol.29, pp.399-406, 1999. ,
Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons, IEEE T Robotic Autom, vol.17, pp.576-588, 2001. ,
Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons, Deadlock resolution in computer-integrated systems, pp.233-281, 2005. ,
Liveness in bounded Petri nets which are covered by T-invariants, Proceedings of the 13th international conference application theory Petri nets, vol.815, pp.358-375, 1994. ,
Deadlock control policy for a class of Petri nets without complete siphon enumeration, IET Control Theory A, vol.1, pp.1594-1605, 2007. ,
FANM: extraction of a minimal siphon from a maxmial one, 2009. ,
Liveness of an extended S 3 PR, Automatica, vol.46, pp.1008-1018, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01126298
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets, Automatica, vol.49, pp.3167-3179, 2013. ,
Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems, IEEE T Syst Man Cy A, vol.43, pp.85-97, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01126296
New controllability condition for siphons in a class of generalised Petri nets, IET Control Theory A, vol.4, pp.854-864, 2010. ,
On the siphon-based characterization of liveness in sequential resource allocation systems, Applications and theory of Petri nets: proceedings of the 24th international conference, vol.2679, pp.241-255, 2003. ,
ERCN-merged nets and their analysis using siphons, IEEE T Robotic Autom, vol.15, pp.692-703, 1999. ,
Feedback control of Petri nets based on place invariants, Automatica, vol.32, pp.15-28, 1996. ,
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models, Eng Comput, vol.25, pp.269-278, 2009. ,
On structural minimality of optimal supervisors for flexible manufacturing systems, Automatica, vol.48, pp.2647-2656, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01126363
Nonpure Petri net supervisors for optimal deadlock control of flexible manufacturing systems, IEEE T Syst Man Cy A, vol.43, pp.252-265, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01126362
New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs, IEEE T Syst Man Cy A, vol.44, pp.1384-1400, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01126349
Optimal supervisory control of flexible manufacturing systems by Petri nets: a set classification approach, IEEE T Autom Sci Eng, vol.11, pp.549-563, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01126360
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems, Inform Sciences, vol.256, pp.74-90, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01126280
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
Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs, IEEE T Syst Man Cy A, vol.47, pp.364-379, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02476553
Monitor design with multiple self-loops for maximally permissive supervisors, ISA T, vol.61, pp.129-140, 2016. ,
An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems, Int J Prod Res, vol.44, pp.1987-2030, 2006. ,
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE T Syst Man Cy A, vol.34, pp.38-51, 2004. ,
Clarifications on the definitions of elementary siphons in Petri nets, IEEE T Syst Man Cy A, vol.36, pp.1277-1279, 2006. ,
Computation of elementary siphons for deadlock control, Comput J, vol.49, pp.470-479, 2006. ,
Technical note-a graphic-algebraic computation of elementary siphons of BS 3 PR, J Inf Sci Eng, vol.23, pp.1817-1831, 2007. ,
Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resources, IET Control Theory A, vol.2, pp.168-179, 2008. ,
Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons, IET Control Theory A, vol.3, pp.391-403, 2009. ,
Controllability of control and mixture weakly dependent siphons in S 3 PR, Int J Syst Sci, vol.44, pp.1377-1385, 2013. ,
Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets, Int J Comp Integ M, vol.27, pp.85-102, 2014. ,
Extended elementary siphons and their application to livenessenforcement of generalized Petri nets, Asian J Control, vol.16, pp.1789-1810, 2014. ,
Extraction of elementary siphons in a class of generalized Petri nets using graph theory, Eng Computation, vol.31, pp.331-352, 2014. ,
Update to ''Extraction of elementary siphons in a class of generalized Petri nets using graph theory, Eng Computation, vol.33, pp.331-352, 2016. ,
An efficient siphonbased deadlock prevention policy for a class of generalized Petri nets, Discrete Dyn Nat Soc, vol.2016, pp.8219424-8219425, 2016. ,
An optimal-elementary-siphonsbased iterative deadlock prevention policy for flexible manufacturing systems, Int J Adv Manuf Tech, vol.38, pp.309-320, 2008. ,
Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control, Int J Prod Res, vol.50, pp.6203-6218, 2012. ,
Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets, Int J Adv Manuf Tech, vol.33, pp.24-35, 2007. ,
Control of elementary and dependent siphons in Petri nets and their application, IEEE T Syst Man Cy A, vol.38, pp.133-148, 2008. ,
A polynomial-complexity approach to decide the existence of a maximally permissive Petri net supervisor using elementary siphons, Proceedings of the IEEE international conference on networking, sensing and control, pp.608-613, 2009. ,
Elementary-siphonbased control policy for flexible manufacturing systems with partial observability and controllability of transitions, Asian J Control, vol.17, pp.327-342, 2015. ,
An effective algorithm to find elementary siphons in a class of Petri nets, IEEE T Syst Man Cy A, vol.39, pp.912-923, 2009. ,
On liveness and controlled siphons in Petri nets, Proceedings of the 17th international conference on application and theory of Petri nets, vol.1091, pp.57-72, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01124759
A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE T Robotic Autom, vol.11, pp.173-184, 1995. ,
Analysis of a resource allocation problem in FMS using structure theory of Petri nets, Proceedings of the 1st international workshop on manufacturing and Petri nets, pp.24-28, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01125436
On the equivalence between liveness and deadlock-freeness in Petri nets, Applications and theory of Petri nets 2005, vol.3536, pp.90-107, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01124989
Max#-controlled siphons for liveness of S 3 PGR 3, IET Control Theory A, vol.1, pp.933-936, 2007. ,
Structure theory of equal conflict systems, Theor Comput Sci, vol.153, pp.271-300, 1996. ,
Self-liveness of a class of Petri net models for flexible manufacturing systems, IET Control Theory A, vol.4, pp.403-410, 2010. ,
Necessary and sufficient liveness condition of GS 3 PR Petri nets, Int J Syst Sci, vol.46, pp.1147-1160, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-02479669
New controllability condition for siphons in WS 3 PR nets, Asian J Control, vol.17, pp.908-916, 2015. ,
On controllability of dependent siphons for deadlock prevention in generalized Petri nets, IEEE T Syst Man Cy A, vol.38, pp.369-384, 2008. ,
A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions, IEEE T Autom Sci Eng, vol.5, pp.182-188, 2008. ,
On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions, Int J Adv Manuf Tech, vol.38, pp.195-204, 2008. ,
Suboptimal livenessenforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming, Int J Syst Sci, vol.41, pp.1013-1026, 2010. ,
A logic programming approach for finding minimal siphons in S 3 PR nets applied to manufacturing systems, Proceedings of the IEEE international conference on systems, man, and cybernetics, pp.1710-1715, 1997. ,
Enumeration algorithms for minimal siphons in Petri nets based on place constraints, IEEE T Syst Man Cy A, vol.35, pp.844-854, 2005. ,
Deadlock analysis of Petri nets using siphons and mathematical programming, IEEE T Robotic Autom, vol.13, pp.793-804, 1997. ,
Deadlock prevention policy based on Petri nets and siphons, Int J Prod Res, vol.39, pp.283-305, 2001. ,
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets, Int J Comp Integ M, vol.24, pp.710-725, 2011. ,
Direct minimal empty siphon computation using MIP, Int J Adv Manuf Tech, vol.45, pp.397-405, 2009. ,
An efficient algorithm for finding structural deadlocks in colored Petri nets, pp.69-88, 1993. ,
URL : https://hal.archives-ouvertes.fr/hal-01125464
A new technique for finding a generating family of siphons, traps and stcomponents: application to colored Petri nets, Lecture notes in computer science), vol.674, pp.126-147, 1993. ,
Linear algebraic calculation of deadlocks and traps, Concurrency and nets, pp.315-336, 1987. ,
Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufacturing systems, T I Meas Control, vol.32, pp.182-201, 2011. ,
Algorithms for extracting minimal siphons containing specified places in a general Petri net, IEICE T Fund Electr, vol.82, pp.2566-2575, 1999. ,
Computation of minimal siphons in Petri nets by using binary decision diagrams, ACM T Embed Comput S, vol.12, pp.1-3, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01126365
Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets, Proceedings of the IEEE conference on emerging technologies and factory automation (ETFA), pp.322-329, 2003. ,
Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution, IEEE T Syst Man Cy A, vol.36, pp.532-539, 2006. ,
Generating basis siphons and traps of Petri nets using the sign incidence matrix, IEEE T Circuits: I, vol.41, pp.266-271, 1994. ,
Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems, Proceedings of the IEEE international conference on systems, man and cybernetics, pp.282-287, 2005. ,
A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets, IEEE T Syst Man Cy A, vol.42, pp.226-237, 2012. ,
Sufficient conditions for loop resource subsets to derive strict minimal siphons in class of Petri nets, Electron Lett, vol.50, pp.25-27, 2014. ,
Circuits, handles, bridges and nets, Advances in Petri nets 1990, vol.483, pp.210-242, 1990. ,
An incremental approach to extracting minimal bad siphons, J Inf Sci Eng, vol.23, pp.203-214, 2007. ,
Searching strict minimal siphons for SNCbased resource allocation systems, J Inf Sci Eng, vol.23, pp.853-867, 2007. ,
A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems, IEEE T Syst Man Cy C, vol.38, pp.172-188, 2008. ,
On siphon computation for deadlock control in a class of Petri nets, IEEE T Syst Man Cy A, vol.38, pp.667-679, 2008. ,
An extraction algorithm for a set of elementary siphons based on mixed-integer programming, J Syst Sci Syst Eng, vol.21, pp.106-125, 2012. ,
A polynomial algorithm for computing elementary siphons in a class of Petri nets, Asian J Control, vol.14, pp.1141-1149, 2012. ,
Research on finding elementary siphon in a class of Petri nets, Communications in computer and information science, vol.289, pp.435-442, 2012. ,
Resource-transition circuits and siphons for deadlock control of automated manufacturing systems, IEEE T Syst Man Cy A, vol.41, pp.74-84, 2011. ,
A simple suboptimal siphonbased control model of a well-known S 3 PR, Asian J Control, vol.14, pp.163-172, 2012. ,
A best deadlock control for S 3 PMR to reach all states, Asian J Control, vol.14, pp.278-283, 2012. ,
A new optimal control policy for a wellknown S 3 PR (systems of simple sequential processes with resources), Int J Prod Res, vol.50, pp.6259-6271, 2012. ,
Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets, IEEE T Syst Man Cy A, vol.45, pp.519-529, 2015. ,
Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors, Discrete Dyn Nat Soc, vol.2015, pp.579623-579624, 2015. ,
Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming, Int J Control, vol.83, pp.2053-2066, 2010. ,
An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming, Discrete Event Dyn S, vol.23, pp.3-26, 2013. ,
Siphon-based deadlock prevention policy for flexible manufacturing systems, IEEE T Syst Man Cy A, vol.36, pp.1248-1256, 2006. ,
URL : https://hal.archives-ouvertes.fr/emse-00449382
Sequence of control in S 3 PMR, Comput J, vol.53, pp.1691-1703, 2010. ,
Design of livenessenforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons, J Intell Manuf, vol.24, pp.1157-1173, 2013. ,
Structure reduction of livenessenforcing Petri nets using mixed integer programming, Asian J Control, vol.14, pp.384-399, 2012. ,
Policy to cope with deadlocks and livelocks for flexible manufacturing systems using the max#-controlled new smart siphons, IET Control Theory A, vol.8, pp.1607-1616, 2014. ,
Design of livenessenforcing supervisors for flexible manufacturing systems using Petri nets, IEEE T Syst Man Cy C, vol.37, pp.517-526, 2007. ,
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets, IEEE T Ind Inform, vol.2, pp.313-325, 2006. ,
Improved sufficient condition for the controllability of dependent siphons in system of simple sequential processes with resources, IET Control Theory A, vol.5, pp.1059-1068, 2011. ,
Optimal controllability of 2-composed siphons in a class of Petri nets, Electron Lett, vol.48, pp.1535-1537, 2012. ,
Optimal controllability of 3-composed siphons in a class of Petri nets, Electron Lett, vol.49, pp.697-699, 2013. ,
Design of a Petri net based deadlock prevention policy supervisor for S 3 PR, Proceedings of the 6th international conference on intelligent systems, modelling and simulation, pp.46-52, 2015. ,
Selective siphon control for deadlock prevention in Petri nets, IEEE T Syst Man Cy A, vol.38, pp.1337-1348, 2008. ,
Combined siphon and marking generation for deadlock prevention in Petri nets, IEEE T Syst Man Cy A, vol.39, pp.650-661, 2009. ,
Iterative deadlock control by using Petri nets, IEEE T Syst Man Cy C, vol.42, pp.1204-1218, 2012. ,
Enumeration of lost states of a suboptimal control model of a well-known S 3 PR. IET Control Theory, A, vol.5, pp.1277-1286, 2011. ,
Reaching most states via refining controller regions for supervisors of two well-known S 3 PRs, Int J Prod Res, vol.51, pp.4421-4430, 2013. ,
Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems, Int J Adv Manuf Tech, vol.48, pp.725-737, 2010. ,
Comments on ''enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems, Int J Adv Manuf Tech, vol.60, pp.625-629, 2012. ,
An integrated approach for supervisory control of a subclass of Petri nets, T I Meas Control, vol.35, pp.117-130, 2013. ,
Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, Automatica, vol.47, pp.1028-1034, 2011. ,
Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems, IEEE T Autom Sci Eng, vol.8, pp.374-393, 2011. ,
Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method, Int J Adv Manuf Tech, vol.66, pp.1805-1815, 2013. ,
Improvement of suboptimal siphon-and FBM-based control model of a well-known S 3 PR, IEEE T Autom Sci Eng, vol.8, pp.404-411, 2011. ,
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures, IMA J Math Control I, vol.31, pp.551-573, 2014. ,
A merging method for the siphon-based flexible manufacturing systems maximally permissive controllers with simpler structures, IMA J Math Control I, vol.33, pp.163-171, 2016. ,
A survey of siphons in Petri nets, Inform Sciences, vol.363, pp.198-220, 2016. ,
Deadlock control of automated manufacturing systems based on Petri netsa literature review, IEEE T Syst Man Cy C, vol.42, pp.437-462, 2012. ,
Generalized mutual exclusion constraints on nets with uncontrollable transitions, Proceedings of the IEEE international conference on system, man, cybernetics, pp.974-979, 1992. ,
On the existence of Petri net supervisors, Proceedings of the IEEE 31st conference on decision and control, pp.3380-3385, 1992. ,
Petri net supervisor for generalized mutual exclusion constraints, Proceedings of the 12th triennial world congress of the international-federation-of-automatic-control, vol.1, pp.267-270, 1993. ,
Observability of place/transition nets, IEEE T Automat Contr, vol.47, pp.1424-1437, 2002. ,
Control of safe ordinary Petri nets using unfolding, Discrete Event Dyn S, vol.15, pp.349-373, 2005. ,
URL : https://hal.archives-ouvertes.fr/emse-00449397
A systems theory view of Petri nets, Advances in control theory and applications, vol.353, pp.99-127, 2007. ,
Flexible manufacturing system structural control and the neighborhood policy, part 2: generalization, optimization, and efficiency, IIE Trans, vol.29, pp.889-899, 1997. ,
Robust supervisory control policies for manufacturing systems with unreliable resources, IEEE T Robotic Autom, vol.18, pp.346-359, 2002. ,
A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net, Int J Prod Res, vol.45, pp.2161-2165, 2007. ,
An augmented Petri net approach for error recovery in manufacturing systems control, Robot Cim: Int Manuf, vol.21, pp.346-354, 2005. ,
Liveness enforcing supervision for sequential resource allocation systems: state of the art and open issues, pp.203-212, 2002. ,
Problems of process flow feasibility in FAS, CIM in process and manufacturing industries, pp.115-120, 1993. ,
Deadlock detection in distributed systems, Computer, vol.22, pp.37-48, 1989. ,
Petri nets and flexible manufacturing, Lecture notes in computer science). Heidelberg, vol.424, pp.374-417, 1989. ,
A systems theory perspective of discrete event dynamic systems: the Petri net paradigm, Proceedings of the symposium discrete events manufacturing systems, pp.1-12, 1996. ,
On the equivalence of observation structures for Petri net generators, IEEE T Automat Contr, vol.61, pp.2448-2462, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01479623
Maintenance chain integration using Petri-net enabled multiagent system modeling and implementation approach, IEEE T Syst Man Cy C, vol.41, pp.306-315, 2011. ,
An extension of the liveness theory for concurrent sequential processes competing for shared resources, Proceedings of the IEEE international conference on systems, pp.3035-3040, 1995. ,
Supervisory control of discrete event systems, 2009. ,
Detection of deadlocks in flexible manufacturing cells, IEEE T Robotic Autom, vol.7, pp.853-859, 1991. ,
, Deadlock resolution in computer-integrated systems, Marcel Dekker, 2005.
Special issue on ''Petri nets for system control and automation, Asian J Control, vol.12, pp.237-239, 2010. ,