Agent-oriented Petri Net based Modeling of Dynamic Behavior for Wide-area Backup Protection | IEEE Conference Publication | IEEE Xplore