Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets

Zeng, Qingtian; Lu, Faming; Liu, Cong; Duan, Hua; Zhou, Changhong

doi:10.1109/tsmc.2014.2334276

Cited by 61 publications

(52 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As Petri nets [16,17] are capable of combining graphical representation and formal foundation, they have been widely used to model, analyze, and verify process models [18,[19][20][21][22][23][24][25][26][27][28][29][30][31][32][33][34].…”

Section: Petri Netmentioning

confidence: 99%

User behavior discovery from low‐level software execution log

Liu

Wang

Gao

et al. 2018

IEEJ Transactions Elec Engng

Self Cite

View full text Add to dashboard Cite

During the execution of software, its execution log can be recorded. This provides valuable information on software runtime analysis, based on which software developers and vendors can find useful insights into how users behave and enable software usability improvements. However, the recorded software execution log usually is in such a fine granularity (usually in the method‐call level) that it cannot reflect real user behavior explicitly. To this end, we propose a supervised learning approach to detect high‐level user operation behavior from low‐level software execution log. More specifically, we first construct a behavioral pattern (represented by Petri nets) for each user operation. Then, we apply an alignment‐based matching approach which takes a set of behavior patterns and a software execution log as input to generate an abstract user operation log. Next, existing process discovery approaches are used to discover user behavior model from the obtained user operation log. The proposed approaches are supported by tools implemented in the open‐source process mining toolkit ProM. By experimental analysis, we demonstrate that the proposed approach facilitates the discovery of insightful user behavior with high accuracy from the software execution log. © 2018 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc.

show abstract

Section: Petri Netmentioning

confidence: 99%

User behavior discovery from low‐level software execution log

Liu

Wang

Gao

et al. 2018

IEEJ Transactions Elec Engng

Self Cite

View full text Add to dashboard Cite

show abstract

“…It is worth noting that the control structure of an RMWF-net, denoted as (PL, T; FL, M0|L) where M0|L is the projection of M0 on PL, is actually a standard WF-net. This way, its basic control structures, including sequence structure, concurrent structure, choice structure, and loop structure, can be modeled similarly as introduced in [25]. Based on the modeling approaches of basic control-flow routings, a WF-net model is constructed to express task dependencies.…”

Section: Rmwf-net Based Modeling Of Single Organization Emergency Resmentioning

confidence: 99%

“…In this subsection, taxonomy of collaboration patterns [25], [26] among different emergency organizations is formally defined first, which includes message exchange pattern, resource sharing pattern and task synchronization pattern. Here we only define these collaboration patterns between two organizations, and it is easy to extend them to the case of an arbitrary number.…”

Section: Taxonomy Of Collaboration Patterns Among Different Emergencymentioning

confidence: 99%

Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes

Liu

Zhang

2016

Cybernetics and Information Technologies

Self Cite

View full text Add to dashboard Cite

show abstract

“…Our work is based on Petri net, WF-net to be more precise. We assumed that readers are familiar with the basic concepts of WF-net [1]- [2] and Petri nets [13]- [18]. Some of the essential terminologies and notations are listed as follows.…”

Section: Modeling Approaches Based Wfio-netmentioning

confidence: 99%

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Liu¹,

Zeng²,

Duan³

2014

IJSEA

Self Cite

View full text Add to dashboard Cite

Abstract:Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management. To formulate the data-flow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the WFIO-net, which is a kind of WF-net by extending each activity with its read and write data sets, is first presented to model both the control-flow and data-flow information in a workflow process. Moreover, the firing rule of WFIO-net which is different from traditional Petri net is discussed in detail. Then the formal definitions of three basic types of data-flow errors, including missing data, redundant data and conflicting data are formulated using WFIO-net. Next, a polynomial complexity algorithm which is capable of detecting the above-mentioned three kinds of basic data-flow anomalies is proposed based on the activity-data incidence matrix of the WFIO-net. A running case of a property loan approval business process is given to validate the proposed method.

show abstract

Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets

Cited by 61 publications

References 23 publications

User behavior discovery from low‐level software execution log

User behavior discovery from low‐level software execution log

Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Contact Info

Product

Resources

About