Works matching DE "DEADLOCK prevention (Manufacturing)"

Results: 74

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:

Falcone, Yliès;
Jaber, Mohamad

Publication type:

Article

A livelock control policy for a flexible manufacturing system modeling with a subclass of generalized Petri nets.

Published in:

Cogent Engineering, 2014, v. 1, n. 1, p. 1, doi. 10.1080/23311916.2014.944766

By:

Hou, C.Q.;
Li, S.Y.;
Cai, Y.;
Wu, H.M.;
An, A.M.;
Wang, Y.

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:

Chao, Daniel Y.

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

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:

Chao, Daniel Y;
Chen, Jiun-Ting;
Yu, Fang

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:

SUZUKI, Hitoshi;
MAKIHARA, Izuru

Publication type:

Article

TM: a new and simple topology for interconnection networks.

Published in:

Journal of Supercomputing, 2013, v. 66, n. 1, p. 514, doi. 10.1007/s11227-013-0922-y

By:

Wang, Xinyu;
Xiang, Dong;
Yu, Zhigang

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

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:

Liu, Gai Yun;
Chao, Daniel Yuh;
Uzam, Murat

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

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

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

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:

Pan, Yen-Liang;
Huang, Yi-Sheng;
Jeng, MuDer;
Chung, Sheng-Luen

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:

Chao, Daniel

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:

Taubenfeld, Gadi

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:

Singh, Karanveer

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

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

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

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

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:

Chao, DanielYuh;
Chen, Jiun-Ting;
Uzam, Murat

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:

Chen, YuFeng;
Li, ZhiWu;
Zhou, MengChu

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

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:

Hansson, Sven Ove

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:

Miao Liu;
ShouGuang Wang;
Zhiwu Li

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:

Yang, Yang;
Yang, Junjun;
Liang, Na;
Zhong, Chunfu

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

A Cost-effective Interconnect Architecture for Interconnection Network.

Published in:

IETE Journal of Research, 2013, v. 59, n. 2, p. 109, doi. 10.4103/0377-2063.113028

By:

Xinyu Wang;
Dong Xiang;
Zhigang Yu

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

Application Path for Promoting Technology Commercialization.

Published in:

International Journal of Innovation & Technology Management, 2014, v. 11, n. 4, p. 1, doi. 10.1142/S0219877014500254

By:

Kensuke Kato;
Kumiko Miyazaki

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

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

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:

Mi Zhao

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

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:

Sakai, Masaru;
Nishi, Tatsushi

Publication type:

Article

Construct the closed-form solution of A-net of Petri nets by case study.

Published in:

2017

By:

Daniel Yuh Chao;
Tsung Hsien Yu

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:

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

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

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

自动制造系统的稳健控制方法的综述.

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

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

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

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:

Yen-Liang Pan;
Yi-Sheng Huang;
Yi-Shun Weng;
Weimin Wu;
MuDer Jeng

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:

GAY, SIMON J;
RAVARA, ANTÓNIO

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

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

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

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