Process Variety Modeling for Process Configuration in Mass Customization: An Approach Based on Object-Oriented Petri Nets with Changeable Structures · Study