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

共 50 条

[1] UML and Petri Nets for design and analysis of distributed systems
Bordbar, B
Giacomini, L
Holding, DJ
[J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2000, : 610 - 615
[2] Design and Distributed Control of Discrete Event Robotic Manufacturing Systems using Petri Nets
Yasuda, Gen'ichi
[J]. 2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS ( ICAL 2009), VOLS 1-3, 2009, : 1860 - 1865
[3] DISTRIBUTED EMBEDDED SYSTEMS DESIGN USING PETRI NETS
Moutinho, Filipe
Gomes, Luis
[J]. 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS, 2013,
[4] Distributed Supervisor Synthesis for Automated Manufacturing Systems Using Petri Nets
Hu, HeSuan
Chen, Chen
Su, Rong
Liu, Yang
Zhou, MengChu
[J]. 2014 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2014, : 4423 - 4429
[5] STRUCTURE DESIGN OF DISTRIBUTED SYSTEMS USING INTERPRETED PETRI NETS
TANKOANO, J
DERNIAME, JC
[J]. PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 41 - 51
[6] Petri Nets for the Design and Operation of Manufacturing Systems
Silva, M.
Teruel, E.
[J]. EUROPEAN JOURNAL OF CONTROL, 1997, 3 (03) : 182 - 199
[7] Implementation of distributed control architecture for robotic manufacturing systems using Petri nets
Yasuda, C.
[J]. 2006 IMACS: Multiconference on Computational Engineering in Systems Applications, Vols 1 and 2, 2006, : 1155 - 1160
[8] Design, modeling and analysis of ITS using UML and Petri Nets
Bonnefoi, Fabien
Hillah, Lom Messan
Kordon, Fabrice
Renault, Xavier
[J]. 2007 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE, VOLS 1 AND 2, 2007, : 552 - +
[9] Modeling of hybrid supervisory systems using UML and Petri nets
Miyagi, PE
Villani, E
Maruyama, N
[J]. ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 149 - 158
[10] Modelling and design of flexible manufacturing systems using SADT and Petri nets tools
Santarek, K
Buseif, IM
[J]. JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 1998, 76 (1-3) : 212 - 218

← 1 2 3 4 5 →