共 59 条
[14]
Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,
2011, 41 (06)
:1166-1181