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

被引：0

作者：

Pels, Henk Jan ^{[1
]}

机构：

[1] Tech Univ Eindhoven, Eindhoven, Netherlands

来源：

ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: COMPETITIVE MANUFACTURING FOR INNOVATIVE PRODUCTS AND SERVICES, AMPS 2012, PT II | 2013年 / 398卷

关键词：

process modeling; data modeling; ERP implementation;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：144 / 151

页数：8