{"id":"arxiv/2609.20478","url":"https://arxiv.org/abs/2609.20478","tags":["cs.LO","cs.DB","math.CT"],"score":0,"title":"String Diagrams for Process Mining","domain":"cs.LO","source":"arxiv","authors":["Antony R. Lee","Peter Tiňo","Iain B. Styles"],"reviews":0,"subject":"cs.LO","summary":"Run two process-discovery algorithms on the same event log and they return two different pictures of the same process. Petri nets, causal nets, process trees and BPMN each rely on routing machinery of their own, and their only common ground is the traces they generate. A trace lists activities one after another, so it discards the concurrency the notations exist to express, and two models with identical trace languages can describe genuinely different processes. Whether two discovered models mean the same thing therefore has no notation-independent answer. We show that all four notations…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}