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

Abstract

Configuring production processes based on process platforms has been well recognized as an effective means for companies to provide product variety while maintaining mass production efficiency. The production processes of product families involve diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies. This paper develops a multilevel system of nested colored object-oriented Petri nets with changeable structures to model the configuration of production processes. To capture the semantics associated with production configuration decisions, some unique modeling mechanisms are employed, including colored Petri nets, object-oriented Petri nets, changeable Petri net structures, and net nesting. The modeling formalism comprises resource nets, manufacturing nets, assembly nets and process nets. The paper demonstrates how these net definitions are applied to the specification of production process variants at different levels of abstraction. Also reported is a case study in an electronics company. The system model is further analyzed with focus on conflict prevention and deadlock detection.

Modeling and simulation of time and value throughputs of data-aware workflow processes

“…Definition 1 (Workflow net, WF-net) (Shojafar et al 2015;Pla et al 2014;Du et al 2011Du et al , 2014Zhang and Jiao 2009;Li et al 2015Li et al , 2016: A PN is called a WF-net only if :…”

Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets

“…Petri nets have been widely used in modeling the process flow in manufacturing systems [2]. One of the reasons is that the places and transitions of a Petri net can be used to describe the events and activities occurring in a manufacturing system.…”

Pheromone-based coordination for manufacturing system control

“…Shunji and Mituhiko (2008) use a branch-and-bound algorithm with Lagrangian relaxation to minimize total tardiness on identical parallel machines. The Petri Net (PN) approach and the modified PN are developed to study coordination approach for multi-agent systems (Hsieh 2009;Zhang and Jiao 2009). David et al (2006) proposed single and multi-objective evolutionary algorithms for the coordination of serial manufacturing operations.…”