Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link
13	GaiYun Liu, Lingchun Zhang, Liang Chang 0003, Abdulrahman Al-Ahmari, Naiqi Wu	Robust deadlock control for automated manufacturing systems based on elementary siphon theory.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
13	Rongfeng Lin, Zhenhua Yu 0001, Xiaonan Shi, Lihong Dong, Emad S. Abouel Nasr	On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Wenli Duo, Xiaoning Jiang, Oussama Karoui, Xin Guo, Dan You, Shouguang Wang, Yuan Ruan	A Deadlock Prevention Policy for a Class of Multithreaded Software.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Husam Kaid, Abdulrahman Al-Ahmari, Emad S. Abouel Nasr, Adel Al-Shayea, Ali K. Kamrani, Mohammed A. Noman, Haitham A. Mahmoud	Petri Net Model Based on Neural Network for Deadlock Control and Fault Detection and Treatment in Automated Manufacturing Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Mahmoud Salaheldin Elsayed, Passent Mohammed El-Kafrawy, Naiqi Wu	Modeling and Deadlock Control of Reconfigurable Multi-Unit Resource Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Yunlong Zhao, Xiaoping Liu, Gang Wang 0025, Shaobo Wu, Song Han	Dynamic Resource Reservation Based Collision and Deadlock Prevention for Multi-AGVs.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Huixia Liu, Weimin Wu, Hongyong Yang	Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems With Multiple Unreliable Resources.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Rishi Mohan, Emilia Silvas, Henry Stoutjesdijk, Herman Bruyninckx, Bram De Jager	Collision-Free Trajectory Planning With Deadlock Prevention: An Adaptive Virtual Target Approach.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Haining Xiao, Xing Wu 0007, Dejin Qin, Jingjing Zhai	A Collision and Deadlock Prevention Method With Traffic Sequence Optimization Strategy for UGN-Based AGVS.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Hongmei Wei, Jian Gao 0005, Peng Qing, Kang Yu, Yan-Fei Fang, Ming-Lu Li	MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection.	J. Comput. Sci. Technol.	2020	DBLP DOI BibTeX RDF
13	Surajit Das, Chandan Karfa, Santosh Biswas	Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock.	IEEE Trans. Very Large Scale Integr. Syst.	2020	DBLP DOI BibTeX RDF
13	Amir Charif, Alexandre Coelho, Nacer-Eddine Zergainoh, Michael Nicolaidis	A Dynamic Sufficient Condition of Deadlock-Freedom for High-Performance Fault-Tolerant Routing in Networks-on-Chips.	IEEE Trans. Emerg. Top. Comput.	2020	DBLP DOI BibTeX RDF
13	Ryuta Kawano, Ryota Yasudo, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano	A Generalized Theory Based on the Turn Model for Deadlock-Free Irregular Networks.	IEICE Trans. Inf. Syst.	2020	DBLP BibTeX RDF
13	Shotaro Kojima, Kazunori Ohno, Takahiro Suzuki, Yoshito Okada, Thomas Westfechtel, Satoshi Tadokoro	Wall Deadlock Evasion Control Based on Rotation Radius Adjustment.	IEEE Robotics Autom. Lett.	2020	DBLP DOI BibTeX RDF
13	Shaoyong Li, Zhao Chunrun	A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets.	Int. J. Syst. Sci.	2020	DBLP DOI BibTeX RDF
13	Jianchao Luo, Zhiqiang Liu, MengChu Zhou, Keyi Xing	Deadlock-Free Scheduling of Flexible Assembly Systems Based on Petri Nets and Local Search.	IEEE Trans. Syst. Man Cybern. Syst.	2020	DBLP DOI BibTeX RDF
13	Hao Yue, Keyi Xing, Hesuan Hu, Weimin Wu, Hongye Su	Supervisory Control of Deadlock-Prone Production Systems With Routing Flexibility and Unreliable Resources.	IEEE Trans. Syst. Man Cybern. Syst.	2020	DBLP DOI BibTeX RDF
13	Yanxiang Feng, Keyi Xing, MengChu Zhou, Huixia Liu	Liveness Analysis and Deadlock Control for Automated Manufacturing Systems With Multiple Resource Requirements.	IEEE Trans. Syst. Man Cybern. Syst.	2020	DBLP DOI BibTeX RDF
13	Yanxiang Feng, Keyi Xing, Mengchu Zhou, Xinnian Wang, Huixia Liu	Robust Deadlock Prevention for Automated Manufacturing Systems With Unreliable Resources by Using General Petri Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2020	DBLP DOI BibTeX RDF
13	Cheng Ma, Qi Zhao, Guoqi Li, Lei Deng 0003, Guanrui Wang	A deadlock-free physical mapping method on the many-core neural network chip.	Neurocomputing	2020	DBLP DOI BibTeX RDF
13	Tuhin Subhra Das, Prasun Ghosal, Navonil Chatterjee, Arnab Nath, Akash Banerjee, Subhojyoti Khastagir	Application of Logical Sub-networking in Congestion-aware Deadlock-free SDmesh Routing.	ACM Trans. Embed. Comput. Syst.	2020	DBLP DOI BibTeX RDF
13	Juan-José Crespo, José L. Sánchez 0002, Francisco J. Alfaro-Cortes, José Flich, José Duato	UPR: Deadlock-Free Dynamic Network Reconfiguration by Exploiting Channel Dependency Graph Compatibility.	CoRR	2020	DBLP BibTeX RDF
13	Xinyu Crystal Wu, T. S. Eugene Ng	DCFIT: Initial Trigger-Based PFC Deadlock Detection in the Data Plane.	CoRR	2020	DBLP BibTeX RDF
13	Taqwa Saeed, Vassos Soteriou, Christos Liaskos, Andreas Pitsillides, Marios Lestas	Toward Fault-Tolerant Deadlock-Free Routing in HyperSurface-Embedded Controller Networks.	CoRR	2020	DBLP BibTeX RDF
13	Yuan Cai, Dong Xiang, Xiang Ji	Deadlock-free adaptive 3D network-on-chips routing algorithm with repetitive turn concept.	IET Commun.	2020	DBLP DOI BibTeX RDF
13	Abdolreza Shirvani, B. John Oommen	On enhancing the deadlock-preventing object migration automaton using the pursuit paradigm.	Pattern Anal. Appl.	2020	DBLP DOI BibTeX RDF
13	Taqwa Saeed, Vassos Soteriou, Christos Liaskos, Andreas Pitsillides, Marios Lestas	Toward Fault-Tolerant Deadlock-Free Routing in HyperSurface-Embedded Controller Networks.	IEEE Netw. Lett.	2020	DBLP DOI BibTeX RDF
13	Madhavi Devi B, Smriti Agrawal, Ramisetty Rajeshwara Rao	Deadlock Free Resource Management Technique for IoT-Based Post Disaster Recovery Systems.	Scalable Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
13	Jianchao Luo, Zhiqiang Liu, Shuogang Wang, Keyi Xing	Robust deadlock avoidance policy for automated manufacturing system with multiple unreliable resources.	IEEE CAA J. Autom. Sinica	2020	DBLP DOI BibTeX RDF
13	Lucas Lima 0001, Amaury Tavares, Sidney C. Nogueira	A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
13	Nan Du, Hesuan Hu, MengChu Zhou	Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets.	IEEE Trans Autom. Sci. Eng.	2020	DBLP DOI BibTeX RDF
13	Nan Du, Hesuan Hu, MengChu Zhou	A Survey on Robust Deadlock Control Policies for Automated Manufacturing Systems With Unreliable Resources.	IEEE Trans Autom. Sci. Eng.	2020	DBLP DOI BibTeX RDF
13	Román Pomares-Angelino, Ernesto López-Mellado	Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels.	CCE	2020	DBLP DOI BibTeX RDF
13	Hiroshi Noborio, Kiyomi Kawai, Kaoru Watanabe, Katsunori Tachibana, Takahiro Kunii, Kiminori Mizushino	Deadlock-Free and Collision-Free Liver Surgical Navigation by Switching Potential-Based and Sensor-Based Functions.	HCI (3)	2020	DBLP DOI BibTeX RDF
13	Mayank Parasar, Hossein Farrokhbakht, Natalie D. Enright Jerger, Paul V. Gratz, Tushar Krishna, Joshua San Miguel	DRAIN: Deadlock Removal for Arbitrary Irregular Networks.	HPCA	2020	DBLP DOI BibTeX RDF
13	Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak, Wolfgang Reif	Deadlock Avoidance for Multiple Tasks in a Self-Organizing Production Cell.	ACSOS	2020	DBLP DOI BibTeX RDF
13	Marcel Müller, Jan Hendrik Ulrich, Tobias Reggelin, Sebastian Lang, Lorena S. Reyes-Rubiano	Comparison of Deadlock Handling Strategies for Different Warehouse Layouts with an AGVS.	WSC	2020	DBLP DOI BibTeX RDF
13	Pengxiang Ning, Boqin Qin	Stuck-me-not: A deadlock detector on blockchain software in Rust.	EUSPN/ICTH	2020	DBLP DOI BibTeX RDF
13	ZhaoYu Xiang	Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity.	VECoS	2020	DBLP DOI BibTeX RDF
13	Yu Huang, Benjamin Ogles, Eric Mercer	A Predictive Analysis for Detecting Deadlock in MPI Programs.	ASE	2020	DBLP DOI BibTeX RDF
13	Yan Cai 0001, Ruijie Meng, Jens Palsberg	Low-overhead deadlock prediction.	ICSE	2020	DBLP DOI BibTeX RDF
13	Andrej Ivaskovic, Alan Mycroft	A graded Monad for deadlock-free concurrency (functional pearl).	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
13	Mayank Parasar	Subactive techniques for guaranteeing routing and protocol deadlock freedom in interconnection networks.		2020	RDF
13	Anshu S. Anand, Akash Srivastava, R. K. Shyamasundar	A deadlock-free lock-based synchronization for GPUs.	Concurr. Comput. Pract. Exp.	2019	DBLP DOI BibTeX RDF
13	Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Torsten Hoefler	Head-of-line blocking avoidance in Slim Fly networks using deadlock-free non-minimal and adaptive routing.	Concurr. Comput. Pract. Exp.	2019	DBLP DOI BibTeX RDF
13	Aniruddh Ramrakhyani, Paul V. Gratz, Tushar Krishna	Synchronized Progress in Interconnection Networks (SPIN): A New Theory for Deadlock Freedom.	IEEE Micro	2019	DBLP DOI BibTeX RDF
13	Jianchao Luo, Zhiqiang Liu, MengChu Zhou, Keyi Xing, Xinnian Wang, Xiaoling Li 0001, Huixia Liu	Robust deadlock control of automated manufacturing systems with multiple unreliable resources.	Inf. Sci.	2019	DBLP DOI BibTeX RDF
13	Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao	Deadlock detection-oriented unfolding of unbounded Petri nets.	Inf. Sci.	2019	DBLP DOI BibTeX RDF
13	Yanxiang Feng, Keyi Xing, Huixia Liu, Yunchao Wu	Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources.	Inf. Sci.	2019	DBLP DOI BibTeX RDF
13	Chunfu Zhong, Wenlong He, Zhiwu Li 0001, Naiqi Wu, Ting Qu	Deadlock analysis and control using Petri net decomposition techniques.	Inf. Sci.	2019	DBLP DOI BibTeX RDF
13	Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang	A Siphon-Based Deadlock Prevention Strategy for S3PR.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Yunyun Dong, Yufeng Chen 0001, Shaoyong Li, Mohammed A. El-Meligy, Mohamed Sharaf 0001	An Efficient Deadlock Recovery Policy for Flexible Manufacturing Systems Modeled With Petri Nets.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Dajiang Sun, Yufeng Chen 0001, Mohammed A. El-Meligy, Mohamed Sharaf 0001, Naiqi Wu, Zhiwu Li 0001	On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Wei Duan, Chunfu Zhong, Xiang Wang, Ateekh-Ur-Rehman, Usama Umer, Naiqi Wu	A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Jingjing Du, Qiuhong Tian	An MIP-Based Deadlock Prevention Policy for Siphon Control.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Gaiyun Liu, Lingchun Zhang, Yuting Liu, Yufeng Chen 0001, Zhiwu Li 0001, Naiqi Wu	Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Jianchao Luo, Zhiqiang Liu, MengChu Zhou	A Petri Net Based Deadlock Avoidance Policy for Flexible Manufacturing Systems With Assembly Operations and Multiple Resource Acquisition.	IEEE Trans. Ind. Informatics	2019	DBLP DOI BibTeX RDF
13	Shuihai Hu, Yibo Zhu, Peng Cheng 0005, Chuanxiong Guo, Kun Tan, Jitendra Padhye, Kai Chen 0005	Tagger: Practical PFC Deadlock Prevention in Data Center Networks.	IEEE/ACM Trans. Netw.	2019	DBLP DOI BibTeX RDF
13	Florent Perronnet, Jocelyn Buisson, Alexandre Lombard, Abdeljalil Abbas-Turki, Mourad Ahmane, Abdellah El Moudni	Deadlock Prevention of Self-Driving Vehicles in a Network of Intersections.	IEEE Trans. Intell. Transp. Syst.	2019	DBLP DOI BibTeX RDF
13	Jing Bi, Haitao Yuan 0001, Wei Tan 0001	Deadlock prevention for service orchestration via controlled Petri nets.	J. Parallel Distributed Comput.	2019	DBLP DOI BibTeX RDF
13	Faming Lu, Qingtian Zeng, MengChu Zhou, Yunxia Bao, Hua Duan	Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2019	DBLP DOI BibTeX RDF
13	GaiYun Liu, Pei Li, Zhiwu Li 0001, Naiqi Wu	Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs.	IEEE Trans. Syst. Man Cybern. Syst.	2019	DBLP DOI BibTeX RDF
13	Marina Bannikova, Lihi Dery, Svetlana Obraztsova, Zinovi Rabinovich, Jeffrey S. Rosenschein	Between Discord and Deadlock: Consensus Under a Deadline.	CoRR	2019	DBLP BibTeX RDF
13	Pritam Majumder, Sungkeun Kim, Jiayi Huang 0001, Ki Hwan Yum, Eun Jung Kim 0001	Remote Control: A Simple Deadlock Avoidance Scheme for Modular System on Chip.	CoRR	2019	DBLP BibTeX RDF
13	Lucas Lima 0001, Amaury Tavares, Sidney C. Nogueira	A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.	CoRR	2019	DBLP BibTeX RDF
13	Jaskaran Grover, Changliu Liu, Katia P. Sycara	Deadlock Analysis and Resolution in Multi-Robot Systems: The Two Robot Case.	CoRR	2019	DBLP BibTeX RDF
13	Wen Kokke	Rusty Variation: Deadlock-free Sessions with Failure in Rust.	ICE	2019	DBLP DOI BibTeX RDF
13	Cosimo Laneve	A lightweight deadlock analysis for programs with threads and reentrant locks.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
13	Gavin Lowe	Discovering and correcting a deadlock in a channel implementation.	Formal Aspects Comput.	2019	DBLP DOI BibTeX RDF
13	Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida	Dynamic Deadlock Verification for General Barrier Synchronisation.	ACM Trans. Program. Lang. Syst.	2019	DBLP DOI BibTeX RDF
13	Alan Diêgo Aurélio Carneiro, Fábio Protti, Uéverton S. Souza	Deadlock resolution in wait-for graphs by vertex/arc deletion.	J. Comb. Optim.	2019	DBLP DOI BibTeX RDF
13	Mayank Parasar, Tushar Krishna	BINDU: deadlock-freedom with one bubble in the network.	NOCS	2019	DBLP DOI BibTeX RDF
13	Qi Zhao, Lei Deng 0003, Guoqi Li, Guanrui Wang, Cheng Ma	Efficient Mapping without Deadlock on the Many-core Neural Network Chip.	ICCA	2019	DBLP DOI BibTeX RDF
13	Benjamin Dauphin, Renaud Pacalet, Andrea Enrici, Ludovic Apvrille	Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications.	DSD	2019	DBLP DOI BibTeX RDF
13	Mayank Parasar, Natalie D. Enright Jerger, Paul V. Gratz, Joshua San Miguel, Tushar Krishna	SWAP: Synchronized Weaving of Adjacent Packets for Network Deadlock Resolution.	MICRO	2019	DBLP DOI BibTeX RDF
13	Mackenzie J. Wibbels, Shomit Das, Dheeraj Singh Takur, Venkata Nori, Kenneth S. Stevens	A Transmission Line Enabled Deadlock Free Toroidal Network-on-Chip using Asynchronous Handshake Protocols.	ASYNC	2019	DBLP DOI BibTeX RDF
13	Cosimo Laneve, Luca Padovani	Deadlock Analysis of Wait-Notify Coordination.	The Art of Modelling Computational Systems	2019	DBLP DOI BibTeX RDF
13	Thitivatr Patanasakpinyo	Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification.	CATA	2019	DBLP DOI BibTeX RDF
13	Stephanie Balzer, Bernardo Toninho, Frank Pfenning	Manifest Deadlock-Freedom for Shared Session Types.	ESOP	2019	DBLP DOI BibTeX RDF
13	Kun Qian 0017, Wenxue Cheng, Tong Zhang 0018, Fengyuan Ren	Gentle flow control: avoiding deadlock in lossless networks.	SIGCOMM	2019	DBLP DOI BibTeX RDF
13	Yao XiaoLing	A Deadlock Prevention Algorithm for The Two-Phase Locking Protocol Based on Petri Net.	ICSAI	2019	DBLP DOI BibTeX RDF
13	Marcel Müller, Stephan Schmidt, Tobias Reggelin	Deadlock and Collision Handling for Automated Rail-Based Storage and Retrieval Units.	WSC	2019	DBLP DOI BibTeX RDF
13	GaiYun Liu, Dimitri Lefebvre, ZhiWu Li 0001	Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller.	SMC	2019	DBLP DOI BibTeX RDF
13	Lígia Maria Soares Passos, Stéphane Julia, Bruno Francisco Martins da Silva	A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition.	SOSE	2019	DBLP DOI BibTeX RDF
13	Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel	Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion.	PODC	2019	DBLP DOI BibTeX RDF
13	Marius Bozga, Radu Iosif, Joseph Sifakis	Checking Deadlock-Freedom of Parametric Component-Based Systems.	TACAS (2)	2019	DBLP DOI BibTeX RDF
13	Lucas Lima 0001, Amaury Tavares	Verifying Deadlock and Nondeterminism in Activity Diagrams.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
13	Sonam Sherpa, Abdi Vicenciodelmoral, Xinghui Zhao	Deadlock Detection for Concurrent Programs Using Resource Footprints.	UCC Companion	2019	DBLP DOI BibTeX RDF
13	Ryuta Kawano, Hiroki Matsutani, Hideharu Amano	Deadlock-Free Layered Routing for Infiniband Networks.	CANDAR Workshops	2019	DBLP DOI BibTeX RDF
13	Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du	An iterative Deadlock Prevention Policy Based on siphons.	ICNSC	2019	DBLP DOI BibTeX RDF
13	Caleb Voss 0001, Tiago Cogumbreiro, Vivek Sarkar	Transitive joins: a sound and efficient online deadlock-avoidance policy.	PPoPP	2019	DBLP DOI BibTeX RDF
13	Wee Hyong Tok	Distributed Deadlock Management.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
13	Christian Gram Kalhauge, Jens Palsberg	Sound deadlock prediction.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
13	Carlos Vinícius G. C. Lima, Fábio Protti, Dieter Rautenbach, Uéverton S. Souza, Jayme Luiz Szwarcfiter	And/or-convexity: a graph convexity based on processes and deadlock models.	Ann. Oper. Res.	2018	DBLP DOI BibTeX RDF
13	Javier Alonso-Mora, Jonathan A. DeCastro, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit	Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles.	Auton. Robots	2018	DBLP DOI BibTeX RDF
13	Emeka Emmanuel Ugwuanyi, Saptarshi Ghosh 0005, Muddesar Iqbal, Tasos Dagiuklas	Reliable Resource Provisioning Using Bankers' Deadlock Avoidance Algorithm in MEC for Industrial IoT.	IEEE Access	2018	DBLP DOI BibTeX RDF
13	Oussama Karoui, Zhiwu Li 0001, Naiqi Wu, Mohamed Khalgui, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi	One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy.	IEEE Access	2018	DBLP DOI BibTeX RDF
13	Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Fan Ning	Deadlock Prevention Policy for S4PR Nets Based on Siphon.	IEEE Access	2018	DBLP DOI BibTeX RDF
13	Zeynab Mohseni, Midia Reshadi	A deadlock-free routing algorithm for irregular 3D network-on-chips with wireless links.	J. Supercomput.	2018	DBLP DOI BibTeX RDF
13	Keyi Xing, Feng Wang, MengChu Zhou, Hang Lei, Jianchao Luo	Deadlock characterization and control of flexible assembly systems with Petri nets.	Autom.	2018	DBLP DOI BibTeX RDF