Corrections to "synthesis using resource control nets for modeling shared-resource systems" | IEEE Journals & Magazine | IEEE Xplore