Modeling production configuration based on nested colored object-oriented Petri nets with changeable structures