@article{koussios2026petribench,
  title={PetriBench: Benchmarking LLM Reasoning over Dynamic State Spaces},
  author={Koussios, Pyrros and Jäger, Benjamin and Yao, John Hua and Sridhar, Ajay and Xiang, Violet and Li, Chenhao},
  journal={arXiv preprint arXiv:2609.19883},
  year={2026}
}