The possibilities of using Petri Nets for realization of a universal model of educational process | IEEE Conference Publication | IEEE Xplore