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

    Palkinto: Palkinto tai huomionosoitus tuotoksesta

    Myöntävät organisaatiot33rd International Conference on Application and Theory of Petri Nets and Other Model Concurrency, 27-29 June 2012, Hamburg, Germany