Slawomir Lasota. EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system. Inf. Process. Lett., 109(15):850-855, 2009. [doi]
@article{Lasota09, title = {EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system}, author = {Slawomir Lasota}, year = {2009}, doi = {10.1016/j.ipl.2009.04.003}, url = {http://dx.doi.org/10.1016/j.ipl.2009.04.003}, researchr = {https://researchr.org/publication/Lasota09}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {109}, number = {15}, pages = {850-855}, }