A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S4PR

Document Type

Article

Publication Date

8-1-2017

Abstract

Systems of sequential systems with shared resources (S4PR) represent a class of Petri nets that have powerful modeling capability for resource allocation systems. Their efficient siphon computation is important. An open issue is how to determine whether a resource subset can generate a strict minimal siphon (SMS). This paper presents the answer. In particular, we propose a new concept called characteristic implicit resource-transition nets. By charactering such nets, we successfully establish a necessary and sufficient condition for a resource subset to generate an SMS.

Identifier

85026736065 (Scopus)

Publication Title

IEEE Transactions on Automatic Control

External Full Text Location

https://doi.org/10.1109/TAC.2017.2677859

e-ISSN

15582523

ISSN

00189286

First Page

4173

Last Page

4179

Issue

8

Volume

62

Grant

2015C31064

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS