Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.

Roberto Gorrieri

Browse the full FORTE paper archive.