Flick, N. E.; Engelmann, B. Analysis of Petri Nets With Context-Free Structure Changes. ECEASST 2015, 71.