TY - SER AU - Jeng, M. D AU - Dicesare, F TI - Corrections to " Synthesis Using Resource Control Nets for Modeling Shared-Resources Systems" KW - Petrinet KW - Manufacturing Systems ER -