Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks