DMCA

Place bisimulations for the reduction of labeled Petri nets with silent moves (1994)

by C. Autant , W. Pfister , Ph. Schnoebelen