Flick, Nils Erik, and Björn Engelmann. “Analysis of Petri Nets With Context-Free Structure Changes”. Electronic Communications of the EASST, vol. 71, Sept. 2015, doi:10.14279/tuj.eceasst.71.1003.