Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. - Frederik Bønneland; Jakob Dyhr; Peter Gjøl Jensen; Mads Johannsen; Jirí Srba (Petri Nets, 2018)

Stubborn versus structural reductions for Petri nets. - Frederik M. Bønneland; Jakob Dyhr; Peter Gjøl Jensen; Mads Johannsen; Jirí Srba (J. Log. Algebraic Methods Program., 2019)