Works matching Deadlock

Results: 2684

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:

Zhou, Qi;
Zhou, Bing-Hai

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

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:

Han, Libin;
Xing, Keyi;
Chen, Xiao;
Lei, Hang;
Wang, Feng

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:

Li, Shaoyong;
Wei, Xianhong;
Cai, Ying;
Ma, Bingshan;
Hou, Caiqin;
Han, Xilian;
Hong, Liang

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:

Zhang, Xiuyan;
Uzam, Murat

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:

Row, Ter-Chan;
Lee, Shih-Chih;
Pan, Yen-Liang

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:

Čapkovič, František

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:

Uzam, Murat;
Gelen, Gökhan

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:

Yen-Liang Pan;
Ching-Yun Tseng;
Ter-Chan Row

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:

Lima, Carlos V. G. C.;
Protti, Fábio;
Rautenbach, Dieter;
Souza, Uéverton S.;
Szwarcfiter, Jayme L.

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:

Li, Shao;
An, Ai;
Wang, Ying;
Wang, Gang;
Hou, Cai;
Cai, Ying

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:

Yue, Hao;
Xing, Keyi;
Hu, Zhi

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:

Li, Shaoyong;
Li, Zhiwu

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:

Naren, Madham;
Ravikanti, Sandeep

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:

Yunchao Wu;
Keyi Xing;
Mengchu Zhou;
Yanxiang Feng;
Huixia Liu

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:

YiFan Hou;
Barkaoui, Kamel

Publication type:

Article

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:

Shaoyong Li;
Xingda Xiao;
Ying Cai;
Bingshan Ma;
Caiqin Hou;
Xilian Han

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:

Tafa, Igli;
Jonuzaj, Romina

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:

Changan REN;
Jinguo ZHAO;
Liping CHEN

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:

Oliveira, Fabiano de S.;
Barbosa, Valmir C.

Publication type:

Article

Detecting potential deadlocks through change impact analysis.

Published in:

Software Quality Journal, 2018, v. 26, n. 3, p. 1015, doi. 10.1007/s11219-017-9377-3

By:

Metcalf, Chelsea A.;
Yavuz, Tuba

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:

Yue, Hao;
Xing, Keyi

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:

Uzam, Murat;
Gelen, Gökhan

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:

Uzam, Murat;
Li, ZhiWu

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:

Uzam, Murat;
Gelen, Gökhan

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:

Chao, Daniel;
Pan, Yen-Liang

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:

Wang, ShouGuang;
Wu, WenHui;
Yang, Jing

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:

Liu, Gaiyun;
Chao, Daniel Yuh;
Uzam, Murat

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:

Hao Yue;
Keyi Xing;
Hesuan Hu;
Weimin Wu;
Hongye Su

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:

Miao Liu;
Shouguang Wang;
Zhiwu Li

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:

Hou, YiFan;
Zhao, Mi;
Liu, Ding;
Hong, Liang

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:

Hong, Liang;
Hou, YiFan;
Jing, JunFeng;
Wang, AnRong;
Litvin, Dmitry A.

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:

Abdul-Hussin, Mowafak H.

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:

Shen, Victor R. L.;
Yang, Cheng-Ying;
Shen, Rong-Kuan;
Chen, Yu-Chia

Publication type:

Article

MENGURAI KEPASTIAN HUKUM: DEADLOCK DAN IMPLIKASINYA TERHADAP PEMEGANG SAHAM DALAM PERSEROAN TERBATAS DENGAN KEPEMILIKAN BERIMBANG.

Published in:

Journal of Syntax Literate, 2024, v. 9, n. 4, p. 2304, doi. 10.36418/syntax-literate.v9i4.14940

By:

Sheerleen;
Rahayu, Mella Ismelina Farma

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:

Dahan, Samuel

Publication type:

Article

Avoiding Deadlocks via Weak Deadlock Sets.

Published in:

Networks, 2025, v. 86, n. 1, p. 48, doi. 10.1002/net.22275

By:

Oriolo, Gianpaolo;
Russo Russo, Anna

Publication type:

Article

Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets.

Published in:

IET Control Theory & Applications (Wiley-Blackwell), 2019, v. 13, n. 10, p. 1579, doi. 10.1049/iet-cta.2018.5398

By:

Du, Nan;
Hu, He Suan

Publication type:

Article

A resource decoupling approach for deadlock prevention in FMS.

Published in:

International Journal of Advanced Manufacturing Technology, 2009, v. 40, n. 1/2, p. 157, doi. 10.1007/s00170-007-1319-y

By:

Piroddi, Luigi;
Cossalter, Michele;
Ferrarini, Luca

Publication type:

Article

The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems.

Published in:

International Journal of Advanced Manufacturing Technology, 2004, v. 23, n. 3/4, p. 204, doi. 10.1007/s00170-002-1526-5

By:

Uzam, Murat

Publication type:

Article

An Extended Banker's Algorithm for Deadlock Avoidance.

Published in:

IEEE Transactions on Software Engineering, 1999, v. 25, n. 3, p. 428, doi. 10.1109/32.798330

By:

Sheau-Dong Lang

Publication type:

Article

交换超立方网的无死锁虫洞路由算法.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 6, p. 1764, doi. 10.3969/j.issn.1001-3695.2014.06.038

By:

梁锦叶;
梁家荣;
苏树海

Publication type:

Article

Deadlock-Free Adaptive Routing in Meshes with Fault-Tolerance Ability Based on Channel Overlapping.

Published in:

IEEE Transactions on Dependable & Secure Computing, 2011, v. 8, n. 1, p. 74, doi. 10.1109/TDSC.2009.3

By:

Xiang, Dong

Publication type:

Article

Deadlock Detection and Recovery for True Fully Adaptive Routing in Regular Wormhole Networks.

Published in:

Journal of Information Science & Engineering, 2009, v. 25, n. 2, p. 465

By:

SOOJUNG LEE

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:

Uzam, Murat;
Li, ZhiWu;
Gelen, Gökhan;
Zakariyya, Rabiu

Publication type:

Article

AGVs Collision and Deadlock Handling Based on Structural Online Control Policy: A Case Study in a Square Topology.

Published in:

Applied Sciences (2076-3417), 2021, v. 11, n. 14, p. 6494, doi. 10.3390/app11146494

By:

Małopolski, Waldemar;
Zając, Jerzy

Publication type:

Article

Application of Matrix in Deadlock Avoidance of the Computing System.

Published in:

International Transactions in Mathematical Sciences & Computer, 2010, v. 3, n. 2, p. 377

By:

Gupta, C. B.

Publication type:

Article

DEADLOCK INDEX ANALYSIS OF MULTI-LEVEL QUEUE SCHEDULING IN OPERATING SYSTEM USING DATA MODEL APPROACH.

Published in:

Computer Science & Telecommunications, 2010, v. 29, n. 6, p. 93

By:

Shukla, D.;
Ojha, Shweta

Publication type:

Article

DEADLOCK FREE RESOURCE MANAGEMENT TECHNIQUE FOR IOT-BASED POST DISASTER RECOVERY SYSTEMS.

Published in:

Scalable Computing: Practice & Experience, 2020, v. 21, n. 3, p. 391, doi. 10.12694/scpe.v21i3.1734

By:

MADHAVI DEVI B.;
AGRAWAL, SMRITI;
RAO, R. RAJESHWARA

Publication type:

Article

Deadlock Detection and Avoidance in FMS with Shared Resources Using Timed Colored Petri Net.

Published in:

International Review on Modelling & Simulations, 2023, v. 16, n. 3, p. 166, doi. 10.15866/iremos.v16i3.23469

By:

Taha, Assem Hatem;
Muataz, Zubaidah;
Al Hazza, Muataz

Publication type:

Article