Aligning event logs to resource-constrained \(\nu \)-Petri nets

From MaRDI portal
Publication:2165247