An effective FMS deadlock prevention policy based on elementary siphons

Document Type

Conference Proceeding

Publication Date

7-5-2004

Abstract

Based on siphons, a variety of techniques are developed for the deadlock problems in flexible manufacturing systems. The major disadvantage of the existing approaches is that the number of siphons that have to be considered is large or grows fast as these methods proceed. In this paper, we investigate the deadlock prevention problem in a class of Petri net (PN), S3PR, where siphons are distinguished by elementary and redundant ones. For each elementary siphon, a monitor is added to prevent it from being emptied without generating emptiable control-induced siphons. The results show that a more permissive liveness enforcing Petri net supervisor with a small number of additional monitors can be obtained by our deadlock control policy.

Identifier

3042578522 (Scopus)

Publication Title

Proceedings IEEE International Conference on Robotics and Automation

ISSN

10504729

First Page

3143

Last Page

3148

Issue

3

Volume

2004

This document is currently not available here.

Share

COinS