Execution of structured analysis specifications with an object oriented Petri net approach | IEEE Conference Publication | IEEE Xplore