Conformance checking?

The P4PP setup reminded me of the [conformance checking problem](https://link.springer.com/content/pdf/10.1007/978-3-319-99414-7_4.pdf) in BPM.

As an analogy, playing the student's plan forward in the reference model is a type of "token replay", while the trace alignment view has this type of model move versus log move (>>'s) versus synchronous move which is what the feedback of P4PP reminded me of during the demo. Not sure what my point is here, just an observation. 🤷

Of course, conformance checking also has planning compilations like [this](https://www.diag.uniroma1.it/marrella/papers/SEBD2017.pdf), maybe its possible to write a "Automated Grading as Conformance Checking" paper. 🤔