Checking Conformance Between Colored Petri Nets and Event Logs.

Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova

Browse the full AIST paper archive.