Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report.

Lalita Jategaonkar, Albert R. Meyer

Browse the full CONCUR paper archive.