Works matching DE "DEADLOCK prevention (Manufacturing)"
Results: 74
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
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
Richness and rationality: causal decision theory and the WAR argument.
- Published in:
- Synthese, 2018, v. 195, n. 1, p. 259, doi. 10.1007/s11229-016-1214-x
- 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
Nuclear waste as a socio-technical problem.
- Published in:
- Journal for Technology in Theory & Practice / Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis (TATuP), 2023, v. 32, n. 2, p. 50, doi. 10.14512/tatup.32.2.50
- By:
- Publication type:
- Article
A Deadlock Prevention Algorithm Based on Sparse Mixed Graph Random Jumps.
- Published in:
- International Journal of Simulation: Systems, Science & Technology, 2016, v. 17, n. 42, p. 1, doi. 10.5013/IJSSST.a.17.42.34
- By:
- Publication type:
- Article
An S<sup>4</sup>PR Class Petri Net Supervisor for Manufacturing System.
- Published in:
- International Journal of Simulation: Systems, Science & Technology, 2016, v. 17, n. 33, p. 1, doi. 10.5013/IJSSST.a.17.33.31
- By:
- Publication type:
- Article
On Structural Conditions of S<sup>3</sup>PR Based Siphons to Prevent Deadlocks in Manufacturing Systems.
- Published in:
- International Journal of Simulation: Systems, Science & Technology, 2016, v. 17, n. 33, p. 1, doi. 10.5013/IJSSST.a.17.33.32
- By:
- Publication type:
- Article
Reboiler Circuit Debottleneck with No Hardware Changes.
- Published in:
- 2017
- By:
- Publication type:
- Case Study
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
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
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
And/or-convexity: a graph convexity based on processes and deadlock models.
- Published in:
- Annals of Operations Research, 2018, v. 264, n. 1/2, p. 267, doi. 10.1007/s10479-017-2666-1
- 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
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
An algorithm to evaluate implementation cost for livenessenforcing supervisors designed by deadlock prevention policy.
- Published in:
- Advances in Mechanical Engineering (Sage Publications Inc.), 2016, v. 8, n. 7, p. 1, doi. 10.1177/1687814016658388
- By:
- Publication type:
- Article
Transition-based deadlock control policy using reachability graph for flexible manufacturing systems.
- Published in:
- Advances in Mechanical Engineering (Sage Publications Inc.), 2016, v. 8, n. 2, p. 1, doi. 10.1177/1687814016631503
- By:
- Publication type:
- Article
Design of improved optimal and suboptimal deadlock prevention for flexible manufacturing systems based on place invariant and reachability graph analysis methods.
- Published in:
- Journal of Algorithms & Computational Technology, 2017, v. 11, n. 3, p. 261, doi. 10.1177/1748301817710922
- 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
Sufficient conditions for loop resource subsets to derive strict minimal siphons in class of Petri nets.
- Published in:
- Electronics Letters (Wiley-Blackwell), 2014, v. 50, n. 1, p. 25, doi. 10.1049/el.2013.3095
- By:
- Publication type:
- Article
A Juxtaposition of Wittgenstein's and Mozi's Theory of Knowledge to Develop New Perspectives on the Traditional Problems of Western Epistemology.
- Published in:
- Liberated Arts, 2021, v. 8, n. 1, p. 1
- By:
- Publication type:
- Article
An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets.
- Published in:
- Discrete Dynamics in Nature & Society, 2016, p. 1, doi. 10.1155/2016/8219424
- By:
- Publication type:
- Article
Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors.
- Published in:
- Discrete Dynamics in Nature & Society, 2015, p. 1, doi. 10.1155/2015/579623
- By:
- Publication type:
- Article
Identifying the Saturated Line Based on the Number of Idle Places: Achieving Precise Maximal Permissiveness without Deadlocks Using Control Transitions or Control Places.
- Published in:
- Processes, 2023, v. 11, n. 8, p. 2325, doi. 10.3390/pr11082325
- 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
Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation.
- Published in:
- Journal of Applied Mathematics, 2013, p. 1, doi. 10.1155/2013/315894
- By:
- Publication type:
- Article
Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.
- Published in:
- Journal of Applied Mathematics, 2013, p. 1, doi. 10.1155/2013/294835
- 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
Fully automated runtime enforcement of component-based systems with formal and sound recovery.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 341, doi. 10.1007/s10009-016-0413-6
- 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
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
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
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
A Path-Dependent Deadlock: Institutional Causes of the Euro Crisis.
- Published in:
- Cornell International Law Journal, 2016, v. 49, n. 2, p. 309
- By:
- Publication type:
- Article
自动制造系统的稳健控制方法的综述.
- Published in:
- Control Theory & Applications / Kongzhi Lilun Yu Yinyong, 2018, v. 35, n. 1, p. 79, doi. 10.7641/CTA.2017.60910
- By:
- Publication type:
- Article