Design of A Knowledge Based Trouble Call System with Colored Petri Net Models | IEEE Conference Publication | IEEE Xplore