Works matching DE "DEADLOCK prevention (Manufacturing)"
Results: 74
Comments on 'enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems'.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2012, v. 60, n. 5-8, p. 625, doi. 10.1007/s00170-011-3628-4
- By:
- Publication type:
- Article
An Algorithmic Approach for Deadlock Detection in Hypervisor.
- Published in:
- Grenze International Journal of Engineering & Technology (GIJET), 2018, v. 4, n. 3, p. 65
- By:
- Publication type:
- Article
Determinism at Standard-Library Level in TM-Based Applications.
- Published in:
- International Journal of Parallel Programming, 2017, v. 45, n. 1, p. 17, doi. 10.1007/s10766-015-0383-4
- By:
- Publication type:
- Article
Preface to special issue: behavioural types.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 2, p. 154, doi. 10.1017/S0960129514000152
- By:
- Publication type:
- Article
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures.
- Published in:
- IMA Journal of Mathematical Control & Information, 2014, v. 31, n. 4, p. 551, doi. 10.1093/imamci/dnt029
- By:
- Publication type:
- Article
Reboiler Circuit Debottleneck with No Hardware Changes.
- Published in:
- 2017
- By:
- Publication type:
- Case Study
Deadlock and blockage control for manufacturing systems with failure-prone workstations.
- Published in:
- IET Control Theory & Applications (Wiley-Blackwell), 2016, v. 10, n. 8, p. 939, doi. 10.1049/iet-cta.2015.0671
- By:
- Publication type:
- Article
Control policy for a subclass of Petri nets without reachability analysis.
- Published in:
- IET Control Theory & Applications (Wiley-Blackwell), 2013, v. 7, n. 8, p. 1131, doi. 10.1049/iet-cta.2012.0426
- By:
- Publication type:
- Article
Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources.
- Published in:
- International Journal of Production Research, 2014, v. 52, n. 6, p. 1573, doi. 10.1080/00207543.2013.807375
- By:
- Publication type:
- Article
Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers.
- Published in:
- International Journal of Production Research, 2014, v. 52, n. 5, p. 1557, doi. 10.1080/00207543.2013.849012
- By:
- Publication type:
- Article
Maximally permissive deadlock prevention via an invariant controlled method.
- Published in:
- International Journal of Production Research, 2013, v. 51, n. 15, p. 4431, doi. 10.1080/00207543.2012.752590
- By:
- Publication type:
- Article
Reaching most states via refining controller regions for supervisors of two well-known S3PRs.
- Published in:
- International Journal of Production Research, 2013, v. 51, n. 15, p. 4421, doi. 10.1080/00207543.2012.739733
- By:
- Publication type:
- Article
Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems.
- Published in:
- International Journal of Production Research, 2012, v. 50, n. 22, p. 6357, doi. 10.1080/00207543.2011.637526
- By:
- Publication type:
- Article
Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control.
- Published in:
- International Journal of Production Research, 2012, v. 50, n. 22, p. 6203, doi. 10.1080/00207543.2011.590540
- By:
- Publication type:
- Article
Planning and Optimization of AGV Jobs by Petri Net and Genetic Algorithm.
- Published in:
- Journal of Information & Organizational Sciences, 2012, v. 36, n. 2, p. 99
- By:
- Publication type:
- Article
On deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2014, v. 74, n. 9-12, p. 1213, doi. 10.1007/s00170-014-6071-5
- By:
- Publication type:
- Article
On an iterative deadlock prevention approach for automated manufacturing systems.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2014, v. 74, n. 1-4, p. 503, doi. 10.1007/s00170-014-6018-x
- By:
- Publication type:
- Article
On a deadlock prevention policy for a class of Petri nets SPMR.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2014, v. 73, n. 1-4, p. 315, doi. 10.1007/s00170-014-5821-8
- By:
- Publication type:
- Article
Comments on 'Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources'.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2014, v. 71, n. 9-12, p. 1729, doi. 10.1007/s00170-014-5615-z
- By:
- Publication type:
- Article
Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2013, v. 66, n. 9-12, p. 1805, doi. 10.1007/s00170-012-4460-1
- By:
- Publication type:
- Article
Closed-form solution of controller synthesis for infinitely large systems of resource sharing systems of a subclass of Petri nets.
- Published in:
- Transactions of the Institute of Measurement & Control, 2016, v. 38, n. 1, p. 83, doi. 10.1177/0142331214564010
- By:
- Publication type:
- Article
Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource.
- Published in:
- Transactions of the Institute of Measurement & Control, 2014, v. 36, n. 4, p. 435, doi. 10.1177/0142331213495884
- By:
- Publication type:
- Article
A novel liveness condition for S3PGR2.
- Published in:
- Transactions of the Institute of Measurement & Control, 2013, v. 35, n. 2, p. 131, doi. 10.1177/0142331211432951
- By:
- Publication type:
- Article
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs.
- Published in:
- Asian Journal of Control, 2018, v. 20, n. 1, p. 511, doi. 10.1002/asjc.1583
- By:
- Publication type:
- Article
New Controllability Condition for Siphons in Ws<sup>3</sup>PR Nets.
- Published in:
- Asian Journal of Control, 2015, v. 17, n. 3, p. 908, doi. 10.1002/asjc.939
- By:
- Publication type:
- Article
Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions.
- Published in:
- Asian Journal of Control, 2015, v. 17, n. 1, p. 327, doi. 10.1002/asjc.859
- By:
- Publication type:
- Article
Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems.
- Published in:
- Asian Journal of Control, 2015, v. 17, n. 1, p. 190, doi. 10.1002/asjc.837
- By:
- Publication type:
- Article
Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions.
- Published in:
- Asian Journal of Control, 2014, v. 16, n. 6, p. 1646, doi. 10.1002/asjc.811
- By:
- Publication type:
- Article
Extended Elementary Siphons and Their Application to Liveness-Enforcement of Generalized Petri Nets.
- Published in:
- Asian Journal of Control, 2014, v. 16, n. 6, p. 1789, doi. 10.1002/asjc.801
- By:
- Publication type:
- Article
A Polynomial Algorithm for Computing Elementary Siphons in a Class of Petri Nets.
- Published in:
- Asian Journal of Control, 2012, v. 14, n. 4, p. 1141, doi. 10.1002/asjc.487
- By:
- Publication type:
- Article
Structure reduction of liveness-enforcing Petri nets using mixed integer programming.
- Published in:
- Asian Journal of Control, 2012, v. 14, n. 2, p. 384, doi. 10.1002/asjc.342
- By:
- Publication type:
- Article
Application of Petri nets to deadlock avoidance in iPad-like manufacturing systems.
- Published in:
- Journal of Intelligent Manufacturing, 2018, v. 29, n. 6, p. 1363, doi. 10.1007/s10845-015-1185-7
- By:
- Publication type:
- Article
An impending deadlock-free scheduling method in the case of unified automated material handling systems in 300 mm wafer fabrications.
- Published in:
- Journal of Intelligent Manufacturing, 2018, v. 29, n. 1, p. 155, doi. 10.1007/s10845-015-1098-5
- By:
- Publication type:
- Article
A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems.
- Published in:
- Journal of Intelligent Manufacturing, 2016, v. 27, n. 5, p. 1111, doi. 10.1007/s10845-014-0938-z
- By:
- Publication type:
- Article
Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons.
- Published in:
- Journal of Intelligent Manufacturing, 2015, v. 26, n. 2, p. 321, doi. 10.1007/s10845-013-0786-2
- By:
- Publication type:
- Article
Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems.
- Published in:
- Journal of Intelligent Manufacturing, 2015, v. 26, n. 1, p. 13, doi. 10.1007/s10845-013-0757-7
- By:
- Publication type:
- Article
Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons.
- Published in:
- Journal of Intelligent Manufacturing, 2013, v. 24, n. 6, p. 1157, doi. 10.1007/s10845-012-0647-4
- By:
- Publication type:
- Article
Revisiting deadlock prevention: A probabilistic approach.
- Published in:
- Networks, 2014, v. 63, n. 2, p. 203, doi. 10.1002/net.21537
- By:
- Publication type:
- Article
Control Law for Two-Process Flexible Manufacturing Systems Modeled Using Petri Nets.
- Published in:
- Mathematics (2227-7390), 2025, v. 13, n. 4, p. 611, doi. 10.3390/math13040611
- By:
- Publication type:
- Article
Japan-EEC/EU Relations, 1970-2005: Re-Emergence as Strategic Partners in Trade and Environment.
- Published in:
- Journal of European Integration History, 2019, v. 25, n. 1, p. 23, doi. 10.5771/0947-9511-2019-1-23
- By:
- Publication type:
- Article
Tight space bounds for $$\ell $$ -exclusion.
- Published in:
- Distributed Computing, 2014, v. 27, n. 3, p. 165, doi. 10.1007/s00446-014-0207-6
- By:
- Publication type:
- Article
Sustainability of Automated Manufacturing Systems with Resources by Means of Their Deadlock Prevention.
- Published in:
- Electronics (2079-9292), 2024, v. 13, n. 17, p. 3517, doi. 10.3390/electronics13173517
- By:
- Publication type:
- Article
동적 재구성 환경에서 교착상태를 예방하기 위한 오차 시간 메시지 브로드캐스트 기법 연구
- Published in:
- Journal of the Korea Institute of Information & Communication Engineering, 2016, v. 20, n. 11, p. 2131, doi. 10.6109/jkiice.2016.20.11.2131
- By:
- Publication type:
- Article
Deadlocks: Manipulating Threads to Detect and Avoid Them.
- Published in:
- International Journal of Computer Science & Management Studies, 2021, v. 42, n. 4, p. 1
- By:
- Publication type:
- Article
Robust deadlock control for automated manufacturing systems with a single type of unreliable resources.
- Published in:
- Advances in Mechanical Engineering (Sage Publications Inc.), 2018, v. 10, n. 5, p. 1, doi. 10.1177/1687814018772411
- By:
- Publication type:
- Article
An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets.
- Published in:
- Advances in Mechanical Engineering (Sage Publications Inc.), 2017, v. 9, n. 11, p. 1, doi. 10.1177/1687814017734709
- By:
- Publication type:
- Article
An integrated control method for designing non-blocking supervisors using Petri nets.
- Published in:
- Advances in Mechanical Engineering (Sage Publications Inc.), 2017, v. 9, n. 6, p. 1, doi. 10.1177/1687814017700829
- By:
- Publication type:
- Article
Deadlock analysis and control based on Petri nets: A siphon approach review.
- Published in:
- Advances in Mechanical Engineering (Sage Publications Inc.), 2017, v. 9, n. 5, p. 1, doi. 10.1177/1687814017693542
- By:
- Publication type:
- Article
Noncyclic scheduling of dual-armed cluster tools for minimization of wafer residency time and makespan.
- Published in:
- Advances in Mechanical Engineering (Sage Publications Inc.), 2017, v. 9, n. 4, p. 1, doi. 10.1177/1687814017693217
- By:
- Publication type:
- Article
Construct the closed-form solution of A-net of Petri nets by case study.
- Published in:
- 2017
- By:
- Publication type:
- Case Study