Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks