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
关键词: Reachability 、 Stochastic Petri net 、 Theoretical computer science 、 Distributed computing 、 Batch processing 、 Computer science 、 Business process 、 Petri net
摘要: Extended logical Petri nets are proposed to improve nets, and the related firing rules state reachability graph introduced. Their attributes, place arrival time, priority function defined for each token, batch processing wait time transition duration input/output transition, is ordinary transition. token removal generation functions operate attributes of tokens in places. A their redefined. They used model an e-commerce system. The reachability, cost superiority with different priorities, fairness resulting analyzed correct end-states illustrated.
sci-hub.se 参考文章(19)
Junli Wang, Changjun Jiang, Zhijun Ding, An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service. Journal of Information Science and Engineering. ,vol. 24, pp. 1309- 1328 ,(2008)
Meng Chu Zhou, Kurapati Venkatesh, Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach ,(1999)
Jing Wang, YuYue Du, ShuXia Yu, Coloured Logic Petri Nets and analysis of their reachable trees Enterprise Information Systems. ,vol. 9, pp. 900- 919 ,(2015) , 10.1080/17517575.2013.879924
YuYue Du, Liang Qi, MengChu Zhou, A vector matching method for analysing logic Petri nets Enterprise Information Systems. ,vol. 5, pp. 449- 468 ,(2011) , 10.1080/17517575.2010.541943
Yi-Sheng Huang, Yi-Shun Weng, MengChu Zhou, Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets IEEE Transactions on Intelligent Transportation Systems. ,vol. 15, pp. 530- 539 ,(2014) , 10.1109/TITS.2013.2283034
Qiang Hu, YuYue Du, ShuXia Yu, Service net algebra based on logic Petri nets Information Sciences. ,vol. 268, pp. 271- 289 ,(2014) , 10.1016/J.INS.2013.10.014
YuYue Du, ChangJun Jiang, MengChu Zhou, You Fu, Modeling and monitoring of E-commerce workflows Information Sciences. ,vol. 179, pp. 995- 1006 ,(2009) , 10.1016/J.INS.2008.11.025
Yanbo Han, Jing Wang, Peng Zhang, Business-oriented service modeling: A case study Simulation Modelling Practice and Theory. ,vol. 17, pp. 1413- 1429 ,(2009) , 10.1016/J.SIMPAT.2009.06.011
Y.Y. Du, B.Q. Guo, logic petri nets and equivalency Information Technology Journal. ,vol. 8, pp. 95- 100 ,(2009) , 10.3923/ITJ.2009.95.100
Wei Liu, YuYue Du, Chun Yan, Soundness preservation in composed logical time workflow nets Enterprise Information Systems. ,vol. 6, pp. 95- 113 ,(2012) , 10.1080/17517575.2011.617472