A proposed Petri-net extension to analyze risk for evolving systems using an agent model | IEEE Conference Publication | IEEE Xplore