An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets release_iaa64bk5gjb2bjkjzmzkqy7dlu

by YiFan Hou, Mi Zhao, Ding Liu, Liang Hong

Published in Discrete Dynamics in Nature and Society by Hindawi Limited.

2016   Volume 2016, p1-12

Abstract

We propose a new deadlock prevention policy for an important class of resource allocation systems (RASs) that appear in the modeling of flexible manufacturing systems (FMSs). The model of this class in terms of generalized Petri nets is, namely, S<jats:sup>4</jats:sup>PR. On the basis of recent structural analysis results related to the elementary siphons in generalized Petri nets on one hand and an efficient deadlock avoidance policy proposed for the class of conjunctive/disjunctive (C/D) RASs on the other hand, we show how one can generate monitors to be added to a net system such that all its strict minimal siphons are<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"><mml:mrow><mml:msup><mml:mrow><mml:mi mathvariant="normal">m</mml:mi><mml:mi mathvariant="normal">a</mml:mi><mml:mi mathvariant="normal">x</mml:mi></mml:mrow><mml:mrow><mml:mi>′</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math>-controlled and no insufficiently marked siphon is generated. Thereby, a new, simple, and more permissive liveness-enforcing supervisor synthesis method for S<jats:sup>4</jats:sup>PR is established.
In application/xml+jats format

Archived Files and Locations

application/pdf  2.2 MB
file_cgagqfswdfeojiovjpoevxnnde
web.archive.org (webarchive)
downloads.hindawi.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2016
Language   en ?
Container Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
In Keepers Registry
ISSN-L:  1026-0226
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: cae238a0-5efa-48a1-ada6-28ab94dc7c9d
API URL: JSON