@inbook{Lasota2016,
    Address = {Cham},
    Author = {Lasota, S{\l}awomir},
    BookTitle = {Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toru{\'{n}}, Poland, June 19-24, 2016. Proceedings},
    Editor = {Kordon, Fabrice and Moldt, Daniel},
    File = {Decidability Border for Petri Nets with Data WQO Dichotomy Conjecture (pp 20--36) - Lasota (0) (0) - a - a - o.pdf},
    ISBN = {978-3-319-39086-4},
    Pages = {20--36},
    Publisher = {Springer International Publishing},
    Title = {Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture},
    URL = {http://dx.doi.org/10.1007/978-3-319-39086-4\_3},
    Year = {2016},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-39086-4\_3},
    date-added = {2016-06-14 12:13:03 +0000},
    date-modified = {2016-06-14 12:13:03 +0000},
    file-2 = {Decidability Border for Petri Nets with Data WQO Dichotomy Conjecture (pp 20--36) - Lasota (1) (0) - a - a - o.pdf},
    doi = {10.1007/978-3-319-39086-4_3}
}

@inbook{Lasota2016, Address = {Cham}, Author = {Lasota, S{\l}awomir}, BookTitle = {Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toru{\'{n}}, Poland, June 19-24, 2016. Proceedings}, Editor = {Kordon, Fabrice and Moldt, Daniel}, File = {Decidability Border for Petri Nets with Data WQO Dichotomy Conjecture (pp 20--36) - Lasota (0) (0) - a - a - o.pdf}, ISBN = {978-3-319-39086-4}, Pages = {20--36}, Publisher = {Springer International Publishing}, Title = {Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture}, URL = {http://dx.doi.org/10.1007/978-3-319-39086-4_3}, Year = {2016}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-39086-4_3}, date-added = {2016-06-14 12:13:03 +0000}, date-modified = {2016-06-14 12:13:03 +0000}, file-2 = {Decidability Border for Petri Nets with Data WQO Dichotomy Conjecture (pp 20--36) - Lasota (1) (0) - a - a - o.pdf}, doi = {10.1007/978-3-319-39086-4_3} }