Conformance Checking on Timed Automaton Process Models2024-01-010 PRE AI DOI:10.5220/0012548800003690OriginalOriginal request for helpShareSaveAbstract En