Colored Petri net model of electrical networks for diagnostic purposes. Issue 2 (2018)