Application of Petri nets to Ensure Interoperability and Synchronization of its Indicators in Network-Centric Control Systems | IEEE Conference Publication | IEEE Xplore