@ARTICLE{Las09,
  AUTHOR = {Lasota, S.},
  TITLE = {{EXPSPACE} lower bounds for the simulation preorder between a communication-free {Petri} net and a finite-state system},
  JOURNAL = {Information Processing Letters},
  YEAR = {2009},
  VOLUME = {109},
  PAGES = {850-855}
}