Improvements in Unfolding of Colored Petri Nets. - Alexander Bilgram; Peter Gjøl Jensen; Thomas Pedersen; Jirí Srba; Jakob Haahr Taankvist (RP, 2021)

Methods for Efficient Unfolding of Colored Petri Nets. - Alexander Bilgram; Peter Gjøl Jensen; Thomas Pedersen; Jirí Srba; Peter Haahr Taankvist (Fundam. Informaticae, 2022)