Awards: "Old and New Algorithms for Minimal Coverability Sets" by Antti Valmari and Henri Hansen was selected as the Outstanding Paper

    Prize: Award or honor granted for a specific work

    Granting Organisations33rd International Conference on Application and Theory of Petri Nets and Other Model Concurrency, 27-29 June 2012, Hamburg, Germany