共 23 条
[6]
Modeling Self-Adaptive Software Systems With Learning Petri Net
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,
2016, 46 (04)
:483-498
[7]
Duo W., IEEE ACCESS
[10]
A Branching-Process-Based Method to Check Soundness of Workflow Systems
[J].
IEEE ACCESS,
2016, 4
:4104-4118