共 50 条
- [1] A Token-Replay-Based Conformance Checking Method for Dataflow in loT System 2022 37TH INTERNATIONAL TECHNICAL CONFERENCE ON CIRCUITS/SYSTEMS, COMPUTERS AND COMMUNICATIONS (ITC-CSCC 2022), 2022, : 1027 - 1030
- [2] Method for conformance checking based on token log Ge, Ji-Dong (gjd@nju.edu.cn), 2015, Chinese Academy of Sciences (26):
- [4] Online Approximate Conformance Checking 2021 INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SOCIAL INTELLIGENCE (ICCSI), 2021,
- [5] A Framework for Online Conformance Checking BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017), 2018, 308 : 165 - 177
- [7] Parallel Graph-Based Stateless Model Checking AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 377 - 393
- [10] Graph-based consistency checking in spatial information systems 200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 153 - 160