Deadlock Analysis of Petri Nets Based on the Resource Share Places Relationship

  title={Deadlock Analysis of Petri Nets Based on the Resource Share Places Relationship},
  author={Sanghwan Kim and Sangho Lee and Jongkun Lee},
  journal={The Proceedings of the Multiconference on "Computational Engineering in Systems Applications"},
The deadlock problem in FMS, occurred by the relationship between more than two operations based on the resource share machines or robots, and buffers. Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. In this paper, we study the problem of deadlock detection and avoidance by using the PN model based on the relationship of the resource share places for FMS… CONTINUE READING
4 Citations
11 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 11 references

A Research on Petri nets Properties using Transitive matrix

  • J. Lee
  • Scheduling analysis of FMS : An unfolding time…
  • 2006

Scheduling analysis

  • J. Lee
  • Korbaa
  • 2006

Deadlock Avoidance Policy for Petri net Modeling of Flexible Manufacturing Systems with Shared resources

  • BS Hu
  • 2003

And Xie X.(1999) Petri nets and deadlock-free scheduling of multiple-resource operations

  • BC Damasceno
  • 1999

An application of Petri net reduction for Ada Tasking Deadlock Analysis

  • Shatz SM., S. Tu, T Murata
  • IEEE Trans . on Parallel and Distributed Systems
  • 1996

Observer - based statefeedback control of time Petri nets with deadlock recovery : theory and implementation

  • JC Corbett
  • 1996

Similar Papers

Loading similar papers…