Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Henk Jan Pels
  • Fonction : Auteur
  • PersonId : 1000793

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-40361-3_19_Chapter.pdf (226.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01470613 , version 1 (17-02-2017)

Licence

Paternité

Identifiants

Citer

Henk Jan 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⟩
169 Consultations
48 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More