Application of a role-based methodology to represent command and control processes using extended Petri nets | IEEE Conference Publication | IEEE Xplore