An Analysis Method for Service Process Considering Resource Operation Rules | IEEE Conference Publication | IEEE Xplore