@article{Lasota_2009,
    doi = {10.1016/j.ipl.2009.04.003},
    url = {https://doi.org/10.1016%2Fj.ipl.2009.04.003},
    year = {2009},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {109},
    number = {15},
    pages = {850--855},
    author = {S{\l}awomir Lasota},
    title = {{EXPSPACE} lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system},
    journal = {Information Processing Letters}
}

@article{Lasota_2009, doi = {10.1016/j.ipl.2009.04.003}, url = {https://doi.org/10.1016%2Fj.ipl.2009.04.003}, year = {2009}, month = {jul}, publisher = {Elsevier {BV}}, volume = {109}, number = {15}, pages = {850--855}, author = {S{\l}awomir Lasota}, title = {{EXPSPACE} lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system}, journal = {Information Processing Letters} }