Liveness supervision of AMS with complex processes using Petri nets

Document Type

Conference Proceeding

Publication Date

12-23-2011

Abstract

In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing supervisory control study AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the investigation of more complex systems. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller. © 2011 IEEE.

Identifier

83755173181 (Scopus)

ISBN

[9781457706523]

Publication Title

Conference Proceedings IEEE International Conference on Systems Man and Cybernetics

External Full Text Location

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

ISSN

1062922X

First Page

844

Last Page

849

This document is currently not available here.

Share

COinS