Sage Journals: Discover world-class research

Open access

Research article

First published 2018-7

Maximally permissive deadlock prevention policies for flexible manufacturing systems using control transition

Ter-Chan Row, Yen-Liang Pan

Advances in Mechanical Engineering

Retricted access

Research article

First published 2011-2

An iterative deadlock prevention approach for automated manufacturing systems

H.S. Hu

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2005-2

Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems

Sílvio Bacalá Júnior, Stéphane Julia

Journal of Computational Methods in Sciences and Engineering

Open access

Research article

First published 2017-9

Design of improved optimal and suboptimal deadlock prevention for flexible manufacturing systems based on place invariant and reachability graph analysis methods

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

Journal of Algorithms & Computational Technology

Retricted access

Research article

First published 2001-12

Types for Active Objects with Static Deadlock Prevention

Franz Puntigam, Christof Peter

Fundamenta Informaticae

Retricted access

Research article

First published 2025

Deadlock prevention in flexible manufacturing systems: A verification-free resource configuration approach for liveness of finite-capacity S 3 PR

Shanchen Pang, Liqi Wan, Junjie Chen [...]

Transactions of the Institute of Measurement and Control

Open access

Research article

First published 2016-7

An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy

Shaoyong Li, Xingda Xiao, Ying Cai [...]

Advances in Mechanical Engineering

Open access

Research article

First published 2016-2

Transition-based deadlock control policy using reachability graph for flexible manufacturing systems

Xiuyan Zhang, Murat Uzam

Advances in Mechanical Engineering

Retricted access

Research article

First published 2026-1

A Petri net-based approach to robust deadlock prevention in automated manufacturing systems with unreliable resources

Nan Du, Yan Yang

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2011-2

A simple modification of deadlock prevention policy of S 3 PR based on elementary siphons

Daniel Yuh Chao

Transactions of the Institute of Measurement and Control

Search results