Design of distributed manufacturing systems using UML and Petri nets

被引：0

作者：

Bordbar, B ^{[1
]}

Giacomini, L ^{[1
]}

Holding, DJ ^{[1
]}

机构：

[1] Aston Univ, Sch Engn, Dept Elect Engn, Birmingham B4 7ET, W Midlands, England

来源：

ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 2000 | 2000年

关键词：

discrete-event dynamic systems; Petri-nets; object modelling techniques; manufacturing systems;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper describes the design of a supervisory control system for a distributed manufacturing process, which forms part of a wider manufacturing system. The focus of the paper is on the design of a verifiable discrete event controller using a UML based method. The approach adopted involves (i) using Petri net models instead of conventional Statecharts to provide analytic Dynamic Models; and (ii) using compositional Petri net techniques to synthesise the Interconnection Model. The model of the complete controller can be then analysed and verified using Petri net theory. The approach is demonstrated by application to a prototype packaging machine. Copyright (C) 2000 IFAC.

引用

页码：105 / 110

页数：4

共 10 条

[1] [Anonymous], 1999, DOING HARD TIME DEV
[2] [Anonymous], 2000, UNIFIED MODELING LAN, DOI DOI 10.1007/3-540-40011-7_10
[3] Cassandras C. G., 2009, Introduction to discrete event systems, V2nd, DOI 10.1007/978-3-030-72274-6
[4] Desrochers A. A., 1995, APPL PETRI NETS MANU
[5] FIRESMITH DG, 1993, OBJECT ORIENTED REQU
[6] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS
HAREL, D
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) : 231 - &
[7] Compositional verification of concurrent systems using Petri-net-based condensation rules
Juan, EYT
Tsai, JJP
Murata, T
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (05): : 917 - 979
[8] LEVENSON NG, 1995, SAFEWARE SYSTEMS SAF
[9] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
MURATA, T
[J]. PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
[10] SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT PROCESSES
RAMADGE, PJ
WONHAM, WM
[J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (01) : 206 - 230

← 1 →