共 50 条
[21]
A Verification Method for Collaborative Business Processes
[J].
BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I,
2012, 99
:293-+
[22]
Formal design and verification of business processes
[J].
Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology,
2016, 36 (11)
:1147-1153
[24]
Models and methods of the business processes theory
[J].
2017 TENTH INTERNATIONAL CONFERENCE MANAGEMENT OF LARGE-SCALE SYSTEM DEVELOPMENT (MLSD),
2017,
[25]
Automatic Compositional Verification of Business Processes
[J].
ENTERPRISE INFORMATION SYSTEMS-BK,
2009, 24
:479-+
[26]
A Hierarchical Approach for Configuring Business Processes
[J].
2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS),
2013,
:915-921
[30]
Temporal stability in predictive process monitoring
[J].
Data Mining and Knowledge Discovery,
2018, 32
:1306-1338