Resource-oriented petri net-based approach to deadlock prevention of AMSs

Document Type

Conference Proceeding

Publication Date

1-12-2016

Abstract

Based on the systems of simple sequential processes with resources (S3PR) model, the existing methods involve prohibitive computation to synthesize a deadlock prevention controller for automated manufacturing systems (AMS). To reduce the computation, this work studies this problem by using a resource-oriented Petri net (ROPN) model. By revealing the relationship between bad markings and structural properties of an ROPN, it presents a method such that a deadlock prevention controller can be obtained by simple calculation. By such a controller, for each strongly connected subnet in an ROPN, only one control place is needed such that it is structurally very simple. Furthermore, a condition is given under which a maximally permissive controller can be efficiently obtained, which was never seen before. Examples are used to show the application and performance of the proposed method.

Identifier

84964521005 (Scopus)

ISBN

[9781479986965]

Publication Title

Proceedings 2015 IEEE International Conference on Systems Man and Cybernetics Smc 2015

External Full Text Location

https://doi.org/10.1109/SMC.2015.101

First Page

515

Last Page

520

This document is currently not available here.

Share

COinS