Modeling of colored Petri nets using semantic Web technologies by V.Yu. Kaev, V.N. Dubinin, A.V. Dubinin, L.P. Klimkina