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.
Christos Emmanouilidis; Marco Taisch; Dimitris Kiritsis. 19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. Springer, IFIP Advances in Information and Communication Technology, AICT-398 (Part II), pp.144-151, 2013, Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services. 〈10.1007/978-3-642-40361-3_19〉
https://hal.inria.fr/hal-01470613
Contributeur : Hal Ifip
<>
Soumis le : vendredi 17 février 2017 - 15:52:31
Dernière modification le : vendredi 1 décembre 2017 - 01:15:28
Document(s) archivé(s) le : jeudi 18 mai 2017 - 15:11:06
Henk Pels. Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams. Christos Emmanouilidis; Marco Taisch; Dimitris Kiritsis. 19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. Springer, IFIP Advances in Information and Communication Technology, AICT-398 (Part II), pp.144-151, 2013, Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services. 〈10.1007/978-3-642-40361-3_19〉. 〈hal-01470613〉
