An algorithm for the minimum initial marking problem of a structurally live Petri net with inhibitor arcs

Document Type

Article

Publication Date

9-1-2016

Abstract

Inhibitor arcs increase the expressive power of Petri nets. However, they also make Petri net analysis more complex. Some properties of an ordinary Petri net are not always inherited in its extended version with inhibitor arcs. This paper reports a necessary and sufficient condition for deciding the structurally live property in an original Petri net and its extended one with inhibitor arcs. In addition, supposing that a net is structurally live, a natural problem is how to distribute the minimal number of tokens into the structurally live net to ensure that the marked net is live. A method is developed to find an optimal token allocation solution by putting tokens only in some key places. The algorithm can be completed within polynomial time, which overcomes the drawback of exhaustive solutions from all possible markings. Examples are given to illustrate the proposed approach. © 2016 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.

Identifier

84982920498 (Scopus)

Publication Title

Ieej Transactions on Electrical and Electronic Engineering

External Full Text Location

https://doi.org/10.1002/tee.22276

e-ISSN

19314981

ISSN

19314973

First Page

586

Last Page

592

Issue

5

Volume

11

Grant

15ZB0134

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS