Component based colored Petri net model for Ethernet based networked control systems.