@inproceedings{AbdullaMayr,
    Author = {Abdulla, Parosh Aziz and Mayr, Richard},
    BookTitle = {{\rm Proceedings 14th International Workshop on} Verification of Infinite-State Systems , {\rm Paris, France, 27th August 2012}},
    Editor = {Atig, Mohamed Faouzi and Rezine, Ahmed},
    File = {Petri Nets with Time and Cost - Abdulla, Mayr (0) (0) - a - a - p.pdf},
    Pages = {9-24},
    Publisher = {Open Publishing Association},
    Series = {Electronic Proceedings in Theoretical Computer Science},
    Title = {Petri Nets with Time and Cost},
    Volume = {107},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.107.3},
    date-added = {2013-02-14 09:50:43 +0000},
    date-modified = {2013-02-14 09:50:43 +0000},
    doi = {10.4204/EPTCS.107.3}
}

@inproceedings{AbdullaMayr, Author = {Abdulla, Parosh Aziz and Mayr, Richard}, BookTitle = {{\rm Proceedings 14th International Workshop on} Verification of Infinite-State Systems , {\rm Paris, France, 27th August 2012}}, Editor = {Atig, Mohamed Faouzi and Rezine, Ahmed}, File = {Petri Nets with Time and Cost - Abdulla, Mayr (0) (0) - a - a - p.pdf}, Pages = {9-24}, Publisher = {Open Publishing Association}, Series = {Electronic Proceedings in Theoretical Computer Science}, Title = {Petri Nets with Time and Cost}, Volume = {107}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.107.3}, date-added = {2013-02-14 09:50:43 +0000}, date-modified = {2013-02-14 09:50:43 +0000}, doi = {10.4204/EPTCS.107.3} }