We have implemented a conformance plug-in (ETConformance) in ProM 6. Using this plug-in, you can check the conformance between a Petri Net and a Event Log, obtaining a behavioral measure that aims to complement the existing ones.
This is work-in-progress and we hope to publish the details of this work soon. So, we will really appreciate your feed-back on using it, and please report us any comment/suggestion/error that might appear.
Jorge MuÑoz-Gama & Josep Carmona
Universitat Politecnica de Catalunya (UPC)