Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques.

Peter Kemper

Browse the full WSC paper archive.