Skip to main content
Conference ProceedingsOPEN ACCESS

Analyzing IT supported production control by relating Petri Nets and UML static structure diagrams

IFIP Advances in Information and Communication Technology (2013) 398(PART 2) 144-151
DOI: 10.1007/978-3-642-40361-3_19
0Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

This article is free to access.

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. © IFIP International Federation for Information Processing 2013.

Author supplied keywords

Cite

CITATION STYLE

APA

Pels, H. J. (2013). Analyzing IT supported production control by relating Petri Nets and UML static structure diagrams. In IFIP Advances in Information and Communication Technology (Vol. 398, pp. 144–151). https://doi.org/10.1007/978-3-642-40361-3_19

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free