Modifying Petri net models by means of crosscutting operations | IEEE Conference Publication | IEEE Xplore