Software Process Modeling Method Based on Object-Oriented Petri Nets | IEEE Conference Publication | IEEE Xplore