A resource configuration method for liveness of a class of Petri nets

Miao Liu; Shouguang Wang; Tasawar Hayat; Ahmed Alsaedi; Zhiwu Li

doi:10.1093/imamci/dnv016

A resource configuration method for liveness of a class of Petri nets

Miao Liu
, Shouguang Wang
, Tasawar Hayat
, Ahmed Alsaedi
, Zhiwu Li

School of Mechano-Electronic Engineering, Xidian University
Zhejiang Gongshang University
Quaid-I-Azam University
Faculty of Sciences, King Abdulaziz University
Macau University of Science and Technology
Faculty of Engineering, King Abdulaziz University

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

Petri nets are widely used to model flexible manufacturing systems (FMSs). A linear system of simple sequential processes with resources (LS³PR), as an important subclass of Petri nets, can well model many FMSs. In this paper, a resource configuration method for liveness of an LS³PR is proposed. First, the relationship between the markings of resource places and process idle places in an LS³PR is analysed. Next, an algorithm used to compute the marking for each resource place in an LS³PR is developed by taking the full advantages of resource subnets. Finally, the computational complexity of the algorithm is proved to be polynomial. Two examples are used to illustrate the application of the proposed method.

Original language	English
Pages (from-to)	933-950
Number of pages	18
Journal	IMA Journal of Mathematical Control and Information
Volume	33
Issue number	4
DOIs	https://doi.org/10.1093/imamci/dnv016
State	Published - Dec 2016
Externally published	Yes

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

Flexible manufacturing system
Petri net
Resource configuration

Access to Document

10.1093/imamci/dnv016

Cite this

@article{177451942d7549569932d8d7a6eecc73,

title = "A resource configuration method for liveness of a class of Petri nets",

abstract = "Petri nets are widely used to model flexible manufacturing systems (FMSs). A linear system of simple sequential processes with resources (LS3PR), as an important subclass of Petri nets, can well model many FMSs. In this paper, a resource configuration method for liveness of an LS3PR is proposed. First, the relationship between the markings of resource places and process idle places in an LS3PR is analysed. Next, an algorithm used to compute the marking for each resource place in an LS3PR is developed by taking the full advantages of resource subnets. Finally, the computational complexity of the algorithm is proved to be polynomial. Two examples are used to illustrate the application of the proposed method.",

keywords = "Flexible manufacturing system, Petri net, Resource configuration",

author = "Miao Liu and Shouguang Wang and Tasawar Hayat and Ahmed Alsaedi and Zhiwu Li",

year = "2016",

month = dec,

doi = "10.1093/imamci/dnv016",

language = "English",

volume = "33",

pages = "933--950",

journal = "IMA Journal of Mathematical Control and Information",

issn = "0265-0754",

publisher = "Oxford University Press",

number = "4",

}

TY - JOUR

T1 - A resource configuration method for liveness of a class of Petri nets

AU - Liu, Miao

AU - Wang, Shouguang

AU - Hayat, Tasawar

AU - Alsaedi, Ahmed

AU - Li, Zhiwu

PY - 2016/12

Y1 - 2016/12

N2 - Petri nets are widely used to model flexible manufacturing systems (FMSs). A linear system of simple sequential processes with resources (LS3PR), as an important subclass of Petri nets, can well model many FMSs. In this paper, a resource configuration method for liveness of an LS3PR is proposed. First, the relationship between the markings of resource places and process idle places in an LS3PR is analysed. Next, an algorithm used to compute the marking for each resource place in an LS3PR is developed by taking the full advantages of resource subnets. Finally, the computational complexity of the algorithm is proved to be polynomial. Two examples are used to illustrate the application of the proposed method.

AB - Petri nets are widely used to model flexible manufacturing systems (FMSs). A linear system of simple sequential processes with resources (LS3PR), as an important subclass of Petri nets, can well model many FMSs. In this paper, a resource configuration method for liveness of an LS3PR is proposed. First, the relationship between the markings of resource places and process idle places in an LS3PR is analysed. Next, an algorithm used to compute the marking for each resource place in an LS3PR is developed by taking the full advantages of resource subnets. Finally, the computational complexity of the algorithm is proved to be polynomial. Two examples are used to illustrate the application of the proposed method.

KW - Flexible manufacturing system

KW - Petri net

KW - Resource configuration

UR - https://www.scopus.com/pages/publications/85014358928

U2 - 10.1093/imamci/dnv016

DO - 10.1093/imamci/dnv016

M3 - Article

AN - SCOPUS:85014358928

SN - 0265-0754

VL - 33

SP - 933

EP - 950

JO - IMA Journal of Mathematical Control and Information

JF - IMA Journal of Mathematical Control and Information

IS - 4

ER -

A resource configuration method for liveness of a class of Petri nets

Abstract

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this