@inproceedings{atig_et_al:LIPIcs:2017:8127,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Petri nets, BPP nets, downward closure, upward closure},
    Author = {Atig, Mohamed Faouzi and Meyer, Roland and Muskalla, Sebastian and Saivasan, Prakash},
    BookTitle = {42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)},
    Editor = {Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Francois},
    File = {LIPIcs-MFCS-2017-49 (0) - a - a - i.pdf},
    ISBN = {978-3-95977-046-0},
    ISSN = {1868-8969},
    Pages = {49:1--49:14},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{On the Upward/Downward Closures of Petri Nets}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2017/8127},
    Volume = {83},
    Year = {2017},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2017/8127},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.MFCS.2017.49},
    date-added = {2018-10-05 08:57:40 +0200},
    date-modified = {2018-10-05 08:57:40 +0200},
    urn = {urn:nbn:de:0030-drops-81278},
    doi = {10.4230/LIPIcs.MFCS.2017.49}
}

@inproceedings{atig_et_al:LIPIcs:2017:8127, Address = {Dagstuhl, Germany}, Annote = {Keywords: Petri nets, BPP nets, downward closure, upward closure}, Author = {Atig, Mohamed Faouzi and Meyer, Roland and Muskalla, Sebastian and Saivasan, Prakash}, BookTitle = {42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)}, Editor = {Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Francois}, File = {LIPIcs-MFCS-2017-49 (0) - a - a - i.pdf}, ISBN = {978-3-95977-046-0}, ISSN = {1868-8969}, Pages = {49:1--49:14}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{On the Upward/Downward Closures of Petri Nets}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/8127}, Volume = {83}, Year = {2017}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2017/8127}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.MFCS.2017.49}, date-added = {2018-10-05 08:57:40 +0200}, date-modified = {2018-10-05 08:57:40 +0200}, urn = {urn:nbn:de:0030-drops-81278}, doi = {10.4230/LIPIcs.MFCS.2017.49} }