Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes

Wei Liu; Pin Wang; Yuyue Du; Mengchu Zhou; Chun Yan

doi:10.1109/ACCESS.2017.2743113

Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes

Wei Liu, Pin Wang, Yuyue Du, Mengchu Zhou, Chun Yan

Electrical and Computer Engineering

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

19 Scopus citations

Abstract

Extended logical Petri nets are proposed to improve logical Petri nets, and the related firing rules and state reachability graph are introduced. Their attributes, place arrival time, and priority function are defined for each token, batch processing wait time and transition firing duration are defined for each logical input/output transition, and firing duration is defined for each ordinary transition. Their token removal and generation functions are defined to operate the attributes and arrival time of tokens in places. A state in their reachability graph is redefined. They are used to model an e-commerce system. The reachability, time cost superiority of tokens with different priorities, and fairness of the resulting model are analyzed and correct end-states are illustrated.

Original language	English (US)
Article number	8023751
Pages (from-to)	16829-16839
Number of pages	11
Journal	IEEE Access
Volume	5
DOIs	https://doi.org/10.1109/ACCESS.2017.2743113
State	Published - Aug 31 2017

All Science Journal Classification (ASJC) codes

General Computer Science
General Materials Science
General Engineering

Keywords

E-commerce systems
Extended logical petri nets
priority
time

Access to Document

10.1109/ACCESS.2017.2743113

Cite this

@article{af38c997faf5490895d5b1c0ce45c2b5,

title = "Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes",

abstract = "Extended logical Petri nets are proposed to improve logical Petri nets, and the related firing rules and state reachability graph are introduced. Their attributes, place arrival time, and priority function are defined for each token, batch processing wait time and transition firing duration are defined for each logical input/output transition, and firing duration is defined for each ordinary transition. Their token removal and generation functions are defined to operate the attributes and arrival time of tokens in places. A state in their reachability graph is redefined. They are used to model an e-commerce system. The reachability, time cost superiority of tokens with different priorities, and fairness of the resulting model are analyzed and correct end-states are illustrated.",

keywords = "E-commerce systems, Extended logical petri nets, priority, time",

author = "Wei Liu and Pin Wang and Yuyue Du and Mengchu Zhou and Chun Yan",

note = "Publisher Copyright: {\textcopyright} 2013 IEEE.",

year = "2017",

month = aug,

day = "31",

doi = "10.1109/ACCESS.2017.2743113",

language = "English (US)",

volume = "5",

pages = "16829--16839",

journal = "IEEE Access",

issn = "2169-3536",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes

AU - Liu, Wei

AU - Wang, Pin

AU - Du, Yuyue

AU - Zhou, Mengchu

AU - Yan, Chun

PY - 2017/8/31

Y1 - 2017/8/31

N2 - Extended logical Petri nets are proposed to improve logical Petri nets, and the related firing rules and state reachability graph are introduced. Their attributes, place arrival time, and priority function are defined for each token, batch processing wait time and transition firing duration are defined for each logical input/output transition, and firing duration is defined for each ordinary transition. Their token removal and generation functions are defined to operate the attributes and arrival time of tokens in places. A state in their reachability graph is redefined. They are used to model an e-commerce system. The reachability, time cost superiority of tokens with different priorities, and fairness of the resulting model are analyzed and correct end-states are illustrated.

AB - Extended logical Petri nets are proposed to improve logical Petri nets, and the related firing rules and state reachability graph are introduced. Their attributes, place arrival time, and priority function are defined for each token, batch processing wait time and transition firing duration are defined for each logical input/output transition, and firing duration is defined for each ordinary transition. Their token removal and generation functions are defined to operate the attributes and arrival time of tokens in places. A state in their reachability graph is redefined. They are used to model an e-commerce system. The reachability, time cost superiority of tokens with different priorities, and fairness of the resulting model are analyzed and correct end-states are illustrated.

KW - E-commerce systems

KW - Extended logical petri nets

KW - priority

KW - time

UR - http://www.scopus.com/inward/record.url?scp=85029169488&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85029169488&partnerID=8YFLogxK

U2 - 10.1109/ACCESS.2017.2743113

DO - 10.1109/ACCESS.2017.2743113

M3 - Article

AN - SCOPUS:85029169488

SN - 2169-3536

VL - 5

SP - 16829

EP - 16839

JO - IEEE Access

JF - IEEE Access

M1 - 8023751

ER -

Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this