Can I import a Petri-Net and then determine conformance against a data log? Most of what I see is a Petri-Net being derived from the data. I am interesting in looking at how well log data and the "model" process actually conform to one another.