@misc{indiciaed5c242092314,
  title = {Methods for Efficient Unfolding of Colored Petri Nets},
  author = {Alexander Bilgram and Peter G. Jensen and Thomas Pedersen and Jiri Srba and Peter H. Taankvist},
  year = {2023},
  doi = {10.46298/fi.9351},
  url = {https://arxiv.org/abs/2204.07039},
  note = {Source identifier: 2204.07039}
}