@article{DGR14, author = {D\"{u}mmler, J. and Gehre, S. and R\"{u}nger, G.}, title = {{Modeling and Verification of Production Process Chains}}, journal = {International Journal of Computer Theory and Engineering}, volume = {6}, number = {4}, pages = {346--352}, year = {2014}, issn = {1793-8201}, publisher = {IACSIT Press}, doi = {10.7763/IJCTE.2014.V6.887}, }