On intrinsically live structure of a class of generalized petri nets modeling FMS

Document Type

Conference Proceeding

Publication Date

1-1-2012

Abstract

The deadlock control and liveness-enforcement are mostly implemented based on siphons in most existing work using structural theory. Our previous work has revealed a kind of intrinsically live structures in a class of generalized Petri nets called systems of simple sequential processes with weighted resources allocation (WS3PR). The liveness-enforcement is achieved by analyzing the structure including weight information and reconfiguring the initial marking of resource places without considering the initial token counts in idle process places. This work extends it to a more general class than WS 3PR. Instead of siphons, a new concept of structural objects is defined to carry weight information and reflect the circular waits of resources. The numerical relationship between initial markings of resource places and weights of arcs is investigated to yield an intrinsically live structure-based liveness-enforcing method that requires no external monitors. The work provides an insight into structures of generalized Petri nets and a new revenue to achieve the desired deadlock control. Several examples are used to illustrate the proposed method.

Identifier

84881064047 (Scopus)

ISBN

[9783902823281]

Publication Title

IFAC Proceedings Volumes IFAC Papersonline

External Full Text Location

https://doi.org/10.3182/20121003-3-MX-4033.00032

ISSN

14746670

First Page

187

Last Page

192

Issue

29

Volume

45

Grant

61074035

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS