Design and implementation of the SNMP agents for remote monitoring and control via UML and Petri nets | IEEE Journals & Magazine | IEEE Xplore