|
[1]
|
OMG (2011) Business Process Model and Notation (BPMN) Version 2.0.
|
|
[2]
|
Dijkman, R.M., Dumas, M. and Ouyang, C. (2008) Semantics and Analysis of Business Process Models in BPMN. Information & Software Technology, 50, 1281-1294. [Google Scholar] [CrossRef]
|
|
[3]
|
Zafar, I., Azam, F., et al. (2019) A Novel Framework to Automatically Generate Executable Web Services from BPMN Models. IEEE Access, 7, 93653-93677. [Google Scholar] [CrossRef]
|
|
[4]
|
Yongchareon, S., Liu, C.F. and Zhao, X.H. (2020) UniFlexView: A Unified Framework for Consistent Construction BPMN and BPEL Process Views. Concurrency and Computation: Practice and Experience, 32, e5646. [Google Scholar] [CrossRef]
|
|
[5]
|
Díaz, E., et al. (2020) An Empirical Study of Rules for Mapping BPMN Models to Graphical User Interfaces. Multimedia Tools and Applications, 80, 9813-9848.
|
|
[6]
|
Li, L. and Dai, F. (2018) Transformation and Visualization of BPMN Models to Petri Nets. IOP Conference Series: Earth and Environmental Science, 186, Article ID: 012047. [Google Scholar] [CrossRef]
|
|
[7]
|
Da, I.F., Zhao, W.Z., Yang, Y., et al. (2018) Formal Semantics and Analysis of BPMN 2.0 Choreographies.
|
|
[8]
|
Umair, M., Kamel, B., Li, Z., et al. (2018) Transformation of Business Process Model and Notation Models on to Petri Nets and Their Analysis. Advances in Mechanical Engineering, 10, 668-688. [Google Scholar] [CrossRef]
|
|
[9]
|
Li, Z.H. and Ye, Z.W. (2021) A Petri Nets Evolution Method that Supports BPMN Model Changes. Scientific Programming, 2021, Article ID: 6610795. [Google Scholar] [CrossRef]
|
|
[10]
|
Zhong, C., He, W., Li, Z., et al. (2019) Deadlock Analysis and Control Using Petri Net Decomposition Techniques. Information Sciences, 482, 440-456. [Google Scholar] [CrossRef]
|
|
[11]
|
Dechsupa, C., Vatanawood, W. and Thongtak, A. (2019) Hierar-chical Verification of the BPMN Design Model Using the State Space Analysis. IEEE Access, 7, 16795-16815. [Google Scholar] [CrossRef]
|
|
[12]
|
Naoum, M., Hichami, O.E., Achhab, M.A., et al. (2016) A Probabilistic Method for Business Process Verification: Reachability, Liveness and Deadlock Detection. IEEE Interna-tional Colloquium on Information Science & Technology, Tangier, 24-26 October 2016, 128-132. [Google Scholar] [CrossRef]
|
|
[13]
|
Corradini, F., Morichetta, A., Polini, A., et al. (2020) Correctness Checking for BPMN Collaborations with Sub-Processes. Journal of Systems and Software, 166, Article ID: 110594. [Google Scholar] [CrossRef]
|
|
[14]
|
Ramos-Merino, M., Santos-Gago, J.M., et al. (2019) BPMN-E2: A BPMN Extension for an Enhanced Work Flow Description. Software & Systems Modeling, 18, 2399-2419. [Google Scholar] [CrossRef]
|
|
[15]
|
Yoursfi, A., Bauer, C., Saidi, R., et al. (2016) uBPMN: A BPMN Extension for Modeling Ubiquitous Business Processes. Information & Software Technology, 74, 55-68. [Google Scholar] [CrossRef]
|
|
[16]
|
Onggo, B.S., et al. (2018) A BPMN Extension to Support Dis-crete Event Simulation for Healthcare Applications: An Presentation of Queues, Attributes and Data-Driven Decision Points. Journal of the Operational Research Society, 69, 788-802. [Google Scholar] [CrossRef]
|
|
[17]
|
陈蕾, 倪枫. 基于i-BPMN的翻转课堂教学系统业务流程建模[J]. 智能计算机与应用, 2019, 9(4): 180-186, 191.
|
|
[18]
|
倪枫, 王明哲, 周丰, 等. 可执行体系框架的HCPN建模方法[J]. 系统工程与电子技术, 2010, 32(5): 959-965.
|
|
[19]
|
周小舟. IDEF0与CPN的自动转换方法研究[J]. 计算机与数字工程, 2012, 40(4): 42-44, 125.
|
|
[20]
|
Liu, S., Dai, Y., Cai, Z., et al. (2021) Construction of Double-Precision Wisdom Teaching Framework Based on Blockchain Technology in Cloud Platform. IEEE Access, 9, 11823-11834. [Google Scholar] [CrossRef]
|