Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks