Petri Nets and Algebraic Specification (1991)

by W Reisig
Venue:Theoretical Computer Science, No