Modeling Business Process Reengineering through Extended Petri Net | IEEE Conference Publication | IEEE Xplore