On iterative liveness-enforcement for a class of generalized Petri nets

Document Type

Conference Proceeding

Publication Date

12-1-2012

Abstract

This work presents an iterative liveness-enforcing method for a class of generalized Petri nets, which can model flexible manufacturing systems. The proposed method checks the liveness of net models using mixed integer programming and controls the token allocations of resource places instead of siphons using a liveness and resource usage ratio-enforcing supervisor. The enumeration of a kind of special structures, which is required in the previous work, is avoided and the number of iterations is bounded by the number of shared resource places in the net model. All strict minimal siphons in the controlled systems are minimally controlled. Several explanatory examples are used to illustrate this method. © 2012 IEEE.

Identifier

84872555024 (Scopus)

ISBN

[9781467304283]

Publication Title

IEEE International Conference on Automation Science and Engineering

External Full Text Location

https://doi.org/10.1109/CoASE.2012.6386348

e-ISSN

21618089

ISSN

21618070

First Page

188

Last Page

193

This document is currently not available here.

Share

COinS