Log in

Relevant bibliographies by topics / Deadlock prevention

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Deadlock prevention'

Author: Grafiati

Published: 4 June 2021

Last updated: 4 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Deadlock prevention.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Deadlock prevention"

1

Huang, Yi Sheng, and Ter Chan Row. "A Channelized Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models." Advanced Materials Research 284-286 (July 2011): 1498–501. http://dx.doi.org/10.4028/www.scientific.net/amr.284-286.1498.

Full text

Abstract:

Deadlock prevention, deadlock detection and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing systems (FMSs). The conventional prevention policies were always attempt to prevent the system entering the deadlocked situation by using a few control places. On can know that one prohibits the deadlocked markings, some dead markings will be sacrificed. Therefore, the reachability states will become less than the initial net. However, our goal is to preserve all the reachability states of the initial net. Under our control policy, the deadlocks or deadloc

APA, Harvard, Vancouver, ISO, and other styles

2

Kezić, Danko, Stjepan Bogdan, and Josip Kasum. "Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals." Transactions on Maritime Science 1, no. 1 (2012): 22–34. http://dx.doi.org/10.7225/toms.v01.n01.004.

Full text

Abstract:

To avoid conflict and deadlock states in waterway with multiple locks and canals, a computer based traffic management system with proper control policy must be applied. The paper proposes a formal method for design of deadlock prevention supervisor by using discrete event theory, multiple reentrant flowlines class of Petri net and P-invariants control places calculation. By using and/or matrix algebra, authors analyze the structural characteristics of Petri net in order to find first and second level deadlocks. First level deadlocks are prevented by maintaining the number of vessels in the cri

APA, Harvard, Vancouver, ISO, and other styles

3

Kim, Chang Wan, J. M. A. Tanchoco, and Pyung-Hoi Koo. "Deadlock Prevention in Manufacturing Systems With AGV Systems: Banker’s Algorithm Approach." Journal of Manufacturing Science and Engineering 119, no. 4B (1997): 849–54. http://dx.doi.org/10.1115/1.2836834.

Full text

Abstract:

An important issue in the operational control of an automated job shop is the prevention and resolution of shop deadlocks. In this paper, we discuss the problems and solutions of deadlocks in manufacturing systems with automated guided vehicle systems, describe a banker’s algorithm for the control of material flow in job shops, and present the results of simulation experiments to compare the performance of several deadlock handling methods.

APA, Harvard, Vancouver, ISO, and other styles

4

Li, Zhi Wu, and Abdulrahman M. Al-Ahmari. "Open Problems in Deadlock Control for Flexible Manufacturing Systems by Using Petri Nets." Applied Mechanics and Materials 88-89 (August 2011): 134–41. http://dx.doi.org/10.4028/www.scientific.net/amm.88-89.134.

Full text

Abstract:

Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing system. Their occurrences often deteriorate the utilization of resources and may lead to catastrophic results in safety-critical systems. This work surveys the open problems in deadlock control for automated manufacturing systems. The focus is deadlock prevention due to its large and continuing stream of efforts. A control strategy is evaluated in terms of computational complexity, behavioral permissiveness, and structural complexity of its deadlock-free supervisor. This study provides readers with a cong

APA, Harvard, Vancouver, ISO, and other styles

5

Pan, Yen-Liang. "One Computational Innovation Transition-Based Recovery Policy for Flexible Manufacturing Systems Using Petri nets." Applied Sciences 10, no. 7 (2020): 2332. http://dx.doi.org/10.3390/app10072332.

Full text

Abstract:

In the third and fourth industrial revolutions, smart or artificial intelligence flexible manufacturing systems (FMS) seem to be the key machine equipment for capacity of factory production. However, deadlocks could hence appear due to resources competition between robots. Therefore, how to prevent deadlocks of FMS occurring is a very important and hot issue. Based on Petri nets (PN) theory, in existing literature almost all research adopts control places as their deadlock prevention mean. However, under this strategy the real optimal reachable markings are not achieved even if they claimed th

APA, Harvard, Vancouver, ISO, and other styles

6

Pan, Yen-Liang, Yi-Sheng Huang, Yi-Shun Weng, Weimin Wu, and MuDer Jeng. "Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems." Journal of Applied Mathematics 2013 (2013): 1–11. http://dx.doi.org/10.1155/2013/294835.

Full text

Abstract:

Deadlock prevention policies are used to solve the deadlock problems of FMSs. It is well known that the theory of regions is the efficient method for obtaining optimal (i.e., maximally permissive) controllers. All legal and live maximal behaviors of Petri net models can be preserved by using marking/transition-separation instances (MTSIs) or event-state-separation-problem (ESSP) methods. However, they encountered great difficulties in solving all sets of inequalities that is an extremely time consuming problem. Moreover, the number of linear programming problems (LPPs) of legal markings is als

APA, Harvard, Vancouver, ISO, and other styles

7

Pan, Yen-Liang, Ching-Yun Tseng, and Ter-Chan Row. "Design of improved optimal and suboptimal deadlock prevention for flexible manufacturing systems based on place invariant and reachability graph analysis methods." Journal of Algorithms & Computational Technology 11, no. 3 (2017): 261–70. http://dx.doi.org/10.1177/1748301817710922.

Full text

Abstract:

Flexible manufacturing systems exhibit a high degree of resource sharing. Since the parts advancing through the system compete for a finite number of resources, a deadlock may occur. Accordingly, many pioneers make efforts in the issue. However, how to obtain maximally permissive supervisors in deadlock flexible manufacturing system is an extremely difficult and time-consuming problem. In existing literature, place invariant) and graph analysis method are merged called maximal number of forbidding First Bad Marking (FBM) problem to obtained optimal controllers with a small number of control pl

APA, Harvard, Vancouver, ISO, and other styles

8

Kaid, Husam, Abdulrahman Al-Ahmari, Zhiwu Li, and Reggie Davidrajuh. "Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes." Applied Sciences 10, no. 15 (2020): 5270. http://dx.doi.org/10.3390/app10155270.

Full text

Abstract:

In reconfigurable manufacturing systems (RMSs), the architecture of a system can be modified during its operation. This reconfiguration can be caused by many motivations: processing rework and failures, adding new products, adding new machines, etc. In RMSs, sharing of resources may lead to deadlocks, and some operations can therefore remain incomplete. The objective of this article is to develop a novel two-step solution for quick and accurate reconfiguration of supervisory controllers for deadlock control in RMSs with dynamic changes. In the first step, the net rewriting system (NRS) is used

APA, Harvard, Vancouver, ISO, and other styles

9

Huang, Yi Sheng, and Ter Chan Row. "Petri Net Channelized-Based Deadlock Prevention Policy for Flexible Manufacturing Systems." Advanced Materials Research 317-319 (August 2011): 552–55. http://dx.doi.org/10.4028/www.scientific.net/amr.317-319.552.

Full text

Abstract:

Petri nets are employed to model flexible manufacturing systems (FMSs). However, the system deadlocked are possible happened. The conventional deadlock prevention policies are always to forbid the system entering the deadlock by using the control places. To obtain a live system, some dead markings must be sacrificed in the traditional policies. Therefore, the original reachability states of the original model can not be conserved. However, this paper is able to maintain all the reachability states of the original net and guaranty the control system live. Under our control policy, all number of

APA, Harvard, Vancouver, ISO, and other styles

10

Abouel Nasr, Emad, Abdulaziz M. El-Tamimi, Abdulrahman Al-Ahmari, and Husam Kaid. "Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems." Mathematical Problems in Engineering 2015 (2015): 1–19. http://dx.doi.org/10.1155/2015/537893.

Full text

Abstract:

In automated manufacturing systems (AMSs), deadlocks problems can arise due to limited shared resources. Petri nets are an effective tool to prevent deadlocks in AMSs. In this paper, a simulation based on existing deadlock prevention policies and different Petri net models are considered to explore whether a permissive liveness-enforcing Petri net supervisor can provide better time performance. The work of simulation is implemented as follows. (1) Assign the time to the controlled Petri net models, which leads to timed Petri nets. (2) Build the Petri net model using MATLAB software. (3) Run an

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Deadlock prevention"

1

Kachru, Rajiv Carleton University Dissertation Computer Science. "Performance of some deadlock prevention routing algorithms for multicomputer systems." Ottawa, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

劉少華 and Siu-wah Lau. "A novel approach to deadlock prevention in store-and-forward networks." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1991. http://hub.hku.hk/bib/B31209798.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lau, Siu-wah. "A novel approach to deadlock prevention in store-and-forward networks /." [Hong Kong : University of Hong Kong], 1991. http://sunzi.lib.hku.hk/hkuto/record.jsp?B13005625.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Côté, Claire. "Pseudosimulation in distributed simulations : a deadlock prevention algorithm with fixed memory requirements." Thesis, McGill University, 1991. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=59962.

Full text

Abstract:

Distributing discrete event simulations among several processors appears to be a promising approach to speed up simulations and reduce the complexity of the tasks to be accomplished by each processor. Processing the events in parallel requires a synchronization technique which would insure the simulation correctness while keeping the overhead relatively low. In a distributed simulation, the simulation progresses at a different speed in every processor. The main problem consists in enabling a processor to know if it holds all the information needed to correctly make a further step in the simula

APA, Harvard, Vancouver, ISO, and other styles

5

Varadarajan, Amrusha. "Stochastic Scheduling for a Network of MEMS Job Shops." Diss., Virginia Tech, 2006. http://hdl.handle.net/10919/77038.

Full text

Abstract:

This work is motivated by the pressing need for operational control in the fabrication of Microelectromechanical systems or MEMS. MEMS are miniature three-dimensional integrated electromechanical systems with the ability to absorb information from the environment, process this information and suitably react to it. These devices offer tremendous advantages owing to their small size, low power consumption, low mass and high functionality, which makes them very attractive in applications with stringent demands on weight, functionality and cost. While the system''s "brain" (device electronics) is

APA, Harvard, Vancouver, ISO, and other styles

6

Hung, Pen Li, and 洪本立. "Modeling and Deadlock Prevention of Manufacturing Systems Using Petri Nets." Thesis, 1998. http://ndltd.ncl.edu.tw/handle/15723404884117213799.

Full text

Abstract:

碩士<br>國立海洋大學<br>電機工程學系<br>86<br>This thesis is divided into two parts: modeling a PC board Assembly (PCA) system using Colored Petri nets, and deadlock prevention of manufacturing systems using siphons and mixed integer programming. A PC board assembly system with human operators and machines is modeled using Colored Petri nets. In the system various types of PC boards are produced with the requirement of high reliability for aeronautic applications. Each human operator may be assigned to

APA, Harvard, Vancouver, ISO, and other styles

7

HUANG, YI-SHENG, and 黃義盛. "Modeling, Analysis, Deadlock Prevention and Cell Controller Implemention for Flexible Manufacturing Systems." Thesis, 2000. http://ndltd.ncl.edu.tw/handle/32676072629112115021.

Full text

Abstract:

博士<br>國立臺灣科技大學<br>電機工程系<br>89<br>This thesis presents a Petri net-based approach to modeling, analysis, deadlock prevention, and cell controller implementation for flexible manufacturing systems (FMS’s). With all its nice modeling properties of Petri net, it is, however, hardly practical to model a complex system using Petri nets directly. As a result, scenarios that model the operation flows of a real-world FMS cell are utilized for a systematic conversion into a Petri net model of the underlying system. On top of the resultant Petri net, we are able to analyze qualitative properties of th

APA, Harvard, Vancouver, ISO, and other styles

8

Wang, Yi-Yun, and 王怡云. "Design of Petri net controllers for deadlock prevention of reconfigurable manufacturing systems." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/74045642937887466864.

Full text

Abstract:

碩士<br>國立雲林科技大學<br>工業工程與管理研究所碩士班<br>99<br>The most important characteristic of a reconfigurable manufacturing system is reconfigurability. With reconfigurability, the system can quickly change depending on customer demands or market conditions. It can also change the product or production capacity. Nevertheless, deadlock of the system should be avoided after the system reconfiguration. In this research, a design of Petri net controllers for deadlock avoidance of reconfigurable manufacturing systems is proposed. First, Petri net modules for the resources and the process flow of parts from custo

APA, Harvard, Vancouver, ISO, and other styles

9

Pan, Yen-Liang, and 潘彥良. "Deadlock Prevention Policy for Flexible Manufacturing Systems Based on the Theory of Regions." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/06053096554812762687.

Full text

Abstract:

博士<br>國防大學理工學院<br>國防科學研究所<br>99<br>Deadlock prevention problem is an important issue in essence for flexible manufacturing systems (FMS). Many works make efforts in the issue. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. All legal and live maximal behavior of a Petri net model can be preserved by using a Marking/Transition-Separation Instance (MTSI). However, obtaining them is an extremely time consuming problem. This work proposes crucial marking/transition-separation instances (CMTSIs) that

APA, Harvard, Vancouver, ISO, and other styles

10

Liu, Yu-Jen, and 劉育仁. "Design of Petri Net Siphon Control for Deadlock Prevention of Flexible Manufacturing Systems." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/55466461534532517707.

Full text

Abstract:

碩士<br>國立雲林科技大學<br>工業工程與管理系<br>102<br>A flexible manufacturing system, which enables flexible revision and automated production when alternations are encountered, can be used to manufacture diverse products efficiently. However, the system may encounter a deadlock when manufacturing various products because shared resources are inappropriately assigned. The deadlock stops the system, affecting the overall output and incurring loss. To avoid deadlocks, a deadlock-avoiding controller can be set to control and adjust the work order of assigned resources. In previous studies, Petri nets have been d

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Deadlock prevention"

1

Drug War Deadlock: The Policy Battle Continues. Hoover Institution Press, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Deadlock prevention"

1

Gebremichael, Biniam, Frits Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, and Andrei Rădulescu. "Deadlock Prevention in the Æthereal Protocol." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11560548_28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Meyer, Bertrand. "An Automatic Technique for Static Deadlock Prevention." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-46823-4_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Geetha, V., and N. Sreenath. "Deadlock Prevention in Distributed Object Oriented Systems." In Advances in Computing and Communications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22714-1_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Attie, Paul C., Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, and Fadi A. Zaraket. "An Abstract Framework for Deadlock Prevention in BIP." In Formal Techniques for Distributed Systems. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38592-6_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Tricas, F., F. García-Vallés, J. M. Colom, and J. Ezpeleta. "An Iterative Method for Deadlock Prevention in FMS." In Discrete Event Systems. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4493-7_14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Bermond, Jean-Claude, Miriam Di Ianni, Michele Flammini, and Stephane Perennes. "Acyclic orientations for deadlock prevention in interconnection networks." In Graph-Theoretic Concepts in Computer Science. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0024487.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Zambonelli, Franco. "Deadlock prevention in incremental replay of message-passing programs." In High-Performance Computing and Networking. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/bfb0100620.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Iordache, Marian V., and Panos J. Antsaklis. "Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets." In Applications and Theory of Petri Nets 2001. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45740-2_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

West, Scott, Sebastian Nanz, and Bertrand Meyer. "A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4_39.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

de Oliveira, Vinícius Ferreira, Stéphane Julia, Lígia Maria Soares Passos, and Kênia Santos de Oliveira. "A Synchronization Rule Based on Linear Logic for Deadlock Prevention in Interorganizational WorkFlow Nets." In Advances in Intelligent Systems and Computing. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-54978-1_119.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Deadlock prevention"

1

Sandén, Bo. "Resource sharing deadlock prevention." In Tutorial proceedings. ACM Press, 1995. http://dx.doi.org/10.1145/216591.216597.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Dolev, Shlomi, Evangelos Kranakis, and Danny Krizanc. "Baked potatoes: deadlock prevention via scheduling." In the fifteenth annual ACM symposium. ACM Press, 1996. http://dx.doi.org/10.1145/248052.248093.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Awerbuch, B., S. Kutten, and D. Peleg. "On buffer-economical store-and-forward deadlock prevention." In IEEE INFCOM '91. The conference on Computer Communications. Tenth Annual Joint Comference of the IEEE Computer and Communications Societies Proceedings. IEEE, 1991. http://dx.doi.org/10.1109/infcom.1991.147532.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Zhuang, Qiaoli, Wenzhan Dai, Shouguang Wang, Dan You, and Jingiing Du. "An iterative Deadlock Prevention Policy Based on siphons." In 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC). IEEE, 2019. http://dx.doi.org/10.1109/icnsc.2019.8743210.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Huang, Y. S. "Design of Deadlock Prevention Supervisors Using Elementary Siphons." In Multiconference on "Computational Engineering in Systems Applications. IEEE, 2006. http://dx.doi.org/10.1109/cesa.2006.4281774.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Levitin, Lev, Mark Karpovsky, and Mehmet Mustafa. "Deadlock prevention by turn prohibition in interconnection networks." In Distributed Processing (IPDPS). IEEE, 2009. http://dx.doi.org/10.1109/ipdps.2009.5160898.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Fumagalli, I., L. Piroddi, and R. Cordone. "Siphon classification for deadlock prevention in Petri nets." In European Control Conference 2007 (ECC). IEEE, 2007. http://dx.doi.org/10.23919/ecc.2007.7068269.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lou, Lin, Feilong Tang, Ilsun You, Minyi Guo, Yao Shen, and Li Li. "An Effective Deadlock Prevention Mechanism for Distributed Transaction Management." In 2011 Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS). IEEE, 2011. http://dx.doi.org/10.1109/imis.2011.109.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kloetzer, Marius, Cristian Mahulea, and Jose-Manuel Colom. "Petri net approach for deadlock prevention in robot planning." In 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA). IEEE, 2013. http://dx.doi.org/10.1109/etfa.2013.6648102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Verbeek, Freek, and Julien Schmaltz. "Formal validation of deadlock prevention in networks-on-chips." In the Eighth International Workshop. ACM Press, 2009. http://dx.doi.org/10.1145/1637837.1637858.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Deadlock prevention"

1

Brewer, Eric A., and Carl A. Waldspurger. Preventing Recursion Deadlock in Concurrent Object-Oriented Systems. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada247084.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!