Abstract

This article addresses expressiveness problems for Petri nets and their useful extension for modeling and control of a system that can be modeled with Petri nets. We construct some Petri net modules, namely, an enabling module, an inhibitor module and a Modulo-N counter, which are useful for system operations. We also present the simplifications for the enabling and inhibitor modules. Then, we propose two new types of arcs, namely, enabling and inhibitor arcs, with a weighted function set. The arcs with the weighted function set from places to transitions are the marked arcs. A function set is employed to denote the weight of an arc according to the system requirements. They are very useful to solve the resource reallocation problem in a resource allocation system, where resource sharing contributes to the occurrences of deadlocks. Finally, two examples are used to show the advantages of the presented new types of arcs.

Highlights

  • Petri nets[1] can be served as a graphical and mathematical modeling tool for many contemporary technological systems such as flexible manufacturing systems, urban traffic systems, and concurrent programming systems

  • In section ‘‘Literature review,’’ we provide an overview of the related literature on several Petri net structures and compare the main features of the two proposed new net structures with them

  • When the sub-net contains the net structure such that there are both weighted enabling arc and weighted inhibitor arc from a place to a transition, we show that this net structure has the same enabling condition as the enabling arcs labeled by an integer interval or an integer set

Read more

Summary

Introduction

Petri nets[1] can be served as a graphical and mathematical modeling tool for many contemporary technological systems such as flexible manufacturing systems, urban traffic systems, and concurrent programming systems. Some extensions to the basic Petri net structure is developed to overcome this problem by introducing extended concepts, such as enabling arcs and inhibitor arcs to control a transition enabling. In order to solve the resource reallocation problem, we first propose two novel Petri net structures, called an enabling arc with a weighted function set and an inhibitor arc with a weighted function set, respectively. Transition t is enabled by p at a marking M if M(p) is not equal to any value of the weighted function in the function set Based on these two novel arcs, we present some examples to show their applications and advantages. Section ‘‘Example’’ gives two examples and uses the new types of arcs proposed in this article to solve the problem of conflict.

Literature review
Conclusion
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.