Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations

Document Type

Conference Proceeding

Publication Date

11-17-2010

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 well-known Petri net approaches study AMS with either flexible routes or assembly operations, whereas few work investigates their combination. In this paper, we propose a novel class of nets, which can well deal with both features. We also derive a supervisory controller for on-line ratio enforcement among all processes. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons. We also reveal the design separability between ratio-enforcing and liveness-enforcing supervisors. © 2010 IEEE.

Identifier

78149435686 (Scopus)

ISBN

[9781424454471]

Publication Title

2010 IEEE International Conference on Automation Science and Engineering Case 2010

External Full Text Location

https://doi.org/10.1109/COASE.2010.5584207

First Page

459

Last Page

464

This document is currently not available here.

Share

COinS