Abstract
A method to model the interaction between a production control process and an information system is presented. Colored Petri Nets are used to model the process and UML static structure. When the tokens in the internet are modeled as objects in the data model, the transitions in the process model can be specified as formal expressions over the data model. Thus the model verifies the consistency between the process and the information system and can be used as formal specification for e.g. an ERP implementation.
Chapter PDF
References
van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods,and Systems. MIT Press, Cambridge (2002)
Bertrand, J.W.M., Wijngaard, J., Wortmann, J.C.: Production control: A structural and design oriented approach. Elsevier (1990)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS, Monographs on Theoretical Comp. Science. Springer, Berlin (1992)
Object Management Group (OMG), OCL 2.0 Specification. OMG document ptc/2005-06-06 (June 2005)
Classification hierarchies for product data modelling. Production Planning and Control 17(4), 367–377 (2006)
Pels, H.J., Goossenaerts, J.: A conceptual modeling technique for discrete event simulation of operational processes. In: Olhager, J., Persson, F. (eds.) APMS 2007. IFIP, vol. 246, pp. 305–312. Springer, Boston (2007)
Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut für instrumentelle Mathematik, Bonn (1962)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Pels, H.J. (2013). Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams. In: Emmanouilidis, C., Taisch, M., Kiritsis, D. (eds) Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services. APMS 2012. IFIP Advances in Information and Communication Technology, vol 398. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40361-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-40361-3_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40360-6
Online ISBN: 978-3-642-40361-3
eBook Packages: Computer ScienceComputer Science (R0)