• Dec 29, 2018 News!Vol.10, No.6 has been published with online version.   [Click]
  • Aug 06, 2018 News!Vol.9, No.1-Vol.9, No.4 have been indexed by EI (Inspec).   [Click]
  • Oct 26, 2018 News!Vol.10, No.5 has been published with online version.   [Click]
General Information
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2014 Vol.6(4): 346-352 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2014.V6.887

Modeling and Verification of Production Process Chains

Jörg Dümmler, Sven Gehre, and Gudula Rünger
Abstract—A key element of virtual product development is the modeling of production flows in form of process chains, which consist of processes that are executed either concurrently or consecutively. In practice, process chains can become very complex due to a high number of different processes and, thus, it is difficult for users to maintain an overview of the entire chain. This motivates the necessity to develop models that capture the properties of the individual processes as well as the dependencies between the processes of a process chain on a high level of abstraction. Such models also serve as the basis for various optimization problems, e.g., with respect to the energy usage of the entire process chain. This article proposes a model for the representation of production process chains and additionally shows how to check the consistency of a given process chain model. The modeling is based on a directed acyclic graph with a hierarchical structure. The properties of the processes and the workpieces produced are captured by annotations of the nodes and edges of the graph. The consistency check is based on rules that verify the global structure of the entire process chain, the coupling of processes, and the compatibility of process variants.

Index Terms—Modeling, process chain, production process, verification.

J. Dümmler, S. Gehre, and G. Rünger are with Technische Universität Chemnitz, Department of Computer Science, 09107 Chemnitz, Germany (e-mail: {djo, svge, ruenger}@cs.tu-chemnitz.de).


Cite:Jörg Dümmler, Sven Gehre, and Gudula Rünger, "Modeling and Verification of Production Process Chains," International Journal of Computer Theory and Engineering vol. 6, no. 4, pp. 346-352, 2014.

Copyright © 2008-2019. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@iacsitp.com