合规约束提升异常检测
通过将Petri网可达活动集转化为动态合规掩码并嵌入解码器，该自编码器在时间异常检测中同时利用过程结构约束和时间偏差信号，优于仅依赖控制流或时序特征的现有方法。
Fang, Na · Lu, Ke · 方贤文
Science Progress 2026
通过将活动预测偏差、合规约束信号和时间间隔偏差结合，识别出仅靠控制流检查无法发现的时间行为异常。
利用Inductive Miner从日志中挖掘Petri网，将可达活动集转化为动态合规掩码，限制解码器的活动预测空间。
在四个公开事件日志的时间戳扰动实验中，多数日志上优于对比基线，且优势具有统计学显著性。