Colored Petri Net Model of Command and Control Nodes