Design of command and control systems using Petri nets and object-oriented technology | IEEE Conference Publication | IEEE Xplore