Keyword

reachability graph

Description: A graph whose vertices represent reachable states of a system and whose edges represent transitions, used in Petri nets and system analysis.

Primary topic: Petri Nets in System Modeling (61%)

OpenAlex ID: keywords/reachability-graph

Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models

1990 · N. Viswanadham, Y. Narahari, et al. · IEEE Transactions on Robotics and Automation · 416

Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems

2010 · YuFeng Chen, ZhiWu Li, et al. · IEEE Transactions on Automation Science and Engineering · 278

Verification of State-Based Opacity Using Petri Nets

2016 · Yin Tong, Zhiwu Li, et al. · IEEE Transactions on Automatic Control · 274

PDF

An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

2007 · Murat Uzam, MengChu Zhou · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 260

An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems

2006 · M. Uzam, M. C. Zhou · International Journal of Production Research · 227

The minimal coverability graph for Petri nets

1993 · Alain Finkel · Lecture notes in computer science · 163

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

2004 · Murat Uzam · The International Journal of Advanced Manufacturing Technology · 153

Performability analysis using semi-Markov reward processes

1990 · G. Ciardo, R.A. Marie, et al. · IEEE Transactions on Computers · 151

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

2016 · Ziyue Ma, Yin Tong, et al. · IEEE Transactions on Automatic Control · 147

PDF

A Petri Net Approach to Analysis and Composition of Web Services

2010 · PengCheng Xiong, YuShun Fan, et al. · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 145

PDF

Synthesis using resource control nets for modeling shared-resource systems

1995 · Mu Der Jeng, F. DiCesare · IEEE Transactions on Robotics and Automation · 143

Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs

2018 · Gaiyun Liu, Pei Li, et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 122

Detection and Prediction of Errors in EPC Business Process Models.

2007 · Jan Mendling · WU Research · 120

Petri Nets and Other Models of Concurrency – ICATPN 2007

2007 · Costa Gorgônio, Kyller, Cortadella, Jordi, et al. · Lecture notes in computer science · 118

Context constraints for compositional reachability analysis

1996 · Shing Chi Cheung, Jeff Kramer · ACM Transactions on Software Engineering and Methodology · 113

PDF

Deciding properties of timed transition models

1990 · J.S. Ostroff · IEEE Transactions on Parallel and Distributed Systems · 112

A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems

2014 · Murat Uzam, ZhiWu Li, et al. · Journal of Intelligent Manufacturing · 102

Randomized Communication in Radio Networks

2001 · Bogdan S. Chlebus · Combinatorial optimization · 102

PDF

Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search

2014 · JianChao Luo, KeYi Xing, et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 91

Scheduling of Resource Allocation Systems with Timed Petri Nets: A Survey

2022 · Bo Huang, Mengchu Zhou, et al. · ACM Computing Surveys · 87

A coloured Petri net-based hybrid heuristic search approach to simultaneous scheduling of machines and automated guided vehicles

2015 · Olatunde T. Baruwa, Miquel A. Piera · International Journal of Production Research · 84

Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets

2015 · Yi-Sheng Huang, Yi-Shun Weng, et al. · IEEE Transactions on Intelligent Transportation Systems · 83

Behaviour Analysis of Distributed Systems Using the Tracta Approach

1999 · Dimitra Giannakopoulou, Jeff Kramer, et al. · Automated Software Engineering · 80

Hybrid Petri nets for modeling and analysis of microgrid systems

2016 · Xiaoyu Lu, MengChu Zhou, et al. · IEEE/CAA Journal of Automatica Sinica · 77

Petri-net and GA-based approach to modeling, scheduling, and performance evaluation for wafer fabrication

2001 · Jyh-Horn Chen, Li-Chen Fu, et al. · IEEE Transactions on Robotics and Automation · 76

Works count: 992

Citation count: 10,630