A method of equipment operation rules modeling in training system | IEEE Conference Publication | IEEE Xplore