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