@misc{indiciaeaca7ef3b6a62,
  title = {Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving},
  author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba Ölveczky and Laure Petrucci and Fredrik Rømming},
  year = {2023},
  url = {https://arxiv.org/abs/2303.08929},
  note = {Source identifier: 2303.08929}
}