Deadlock resolution method for automated manufacturing systems modeled with Petri nets

Document Type

Conference Proceeding

Publication Date

12-1-2010

Abstract

For automated manufacturing systems (AMS), deadlock resolution in terms of their Petri net models remains an attractive topic to which many approaches are dedicated. However, few of them can quantitatively optimize certain indices during their supervisor synthesis process. This causes unnecessary control limitations and often leads to unnecessary implementation cost. In the framework of Petri nets, this paper proposes a method to synthesize a cost-effective supervisor with the aid of a set of mixed integer programming (MIP) formulations. Examples are used to validate the legality of the proposed method. ©2010 IEEE.

Identifier

78751526939 (Scopus)

ISBN

[9781424465880]

Publication Title

Conference Proceedings IEEE International Conference on Systems Man and Cybernetics

External Full Text Location

https://doi.org/10.1109/ICSMC.2010.5641919

ISSN

1062922X

First Page

2551

Last Page

2556

This document is currently not available here.

Share

COinS