TY  - RPRT
TI  - Methods for Efficient Unfolding of Colored Petri Nets
AU  - Alexander Bilgram
AU  - Peter G. Jensen
AU  - Thomas Pedersen
AU  - Jiri Srba
AU  - Peter H. Taankvist
PY  - 2023
DO  - 10.46298/fi.9351
UR  - https://arxiv.org/abs/2204.07039
ID  - 2204.07039
ER  -