@inproceedings{DBLP:conf/rp/Zetzsche15,
    Author = {Zetzsche, Georg},
    BookTitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings},
    File = {The Emptiness Problem for Valence Automata or Another Decidable Extension of Petri Nets - Zetzsche (0) (0) - a - a - d.pdf},
    Pages = {166--178},
    Title = {The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets},
    URL = {http://dx.doi.org/10.1007/978-3-319-24537-9\_15},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-24537-9\_15},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/rp/Zetzsche15},
    date-added = {2015-10-12 14:55:38 +0000},
    date-modified = {2015-10-12 14:55:38 +0000},
    timestamp = {Thu, 01 Oct 2015 16:04:24 +0200},
    doi = {10.1007/978-3-319-24537-9_15}
}

@inproceedings{DBLP:conf/rp/Zetzsche15, Author = {Zetzsche, Georg}, BookTitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, File = {The Emptiness Problem for Valence Automata or Another Decidable Extension of Petri Nets - Zetzsche (0) (0) - a - a - d.pdf}, Pages = {166--178}, Title = {The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets}, URL = {http://dx.doi.org/10.1007/978-3-319-24537-9_15}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-24537-9_15}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/rp/Zetzsche15}, date-added = {2015-10-12 14:55:38 +0000}, date-modified = {2015-10-12 14:55:38 +0000}, timestamp = {Thu, 01 Oct 2015 16:04:24 +0200}, doi = {10.1007/978-3-319-24537-9_15} }