Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-01470613
Contributor : Hal Ifip <>
Submitted on : Friday, February 17, 2017 - 3:52:31 PM
Last modification on : Thursday, July 26, 2018 - 2:54:07 PM
Long-term archiving on : Thursday, May 18, 2017 - 3:11:06 PM

File

978-3-642-40361-3_19_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Henk Pels. Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams. 19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.144-151, ⟨10.1007/978-3-642-40361-3_19⟩. ⟨hal-01470613⟩

Share

Metrics

Record views

248

Files downloads

82