@misc{indiciae1d7e549f46f7, title = {A Two-Stage Reflection and Reprompting Framework for LLM-Based Solution of Petri Net Reachability Problems in Industrial Applications}, author = {Ruimin Hu and Mehmet Mercangöz}, year = {2026}, url = {https://arxiv.org/abs/2606.29627}, note = {Source identifier: 2606.29627} }