Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks