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 条

[31] Management and control of information flow in CIM systems using UML and Petri nets
Lin, CP
Jeng, LD
Lin, YP
Jeng, M
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2005, 18 (2-3) : 107 - 121
[32] Open distributed supervisory system design using Petri nets
2003, (Institute of Electrical and Electronics Engineers Inc., United States):
[33] Distributed Deadlock Avoidance in Automated Manufacturing Systems with Forward Conflict Free Structures using Petri Nets
Yang, Yan
Hu, HeSuan
2016 EUROPEAN CONTROL CONFERENCE (ECC), 2016, : 2345 - 2352
[34] Distributed Supervisor Synthesis for Automated Manufacturing Systems with Flexible Routes and Assembly Operations Using Petri Nets
Chen, Chen
Yang, Yan
Hu, Hesuan
2016 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2016, : 3667 - 3673
[35] Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling
Jeng, MD
Lu, WZ
2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 3175 - 3180
[36] Monitoring and Debugging Distributed Autonomous Systems using Petri Nets
Lopez, Joaquin
Perez, Diego
Gayoso, Miguel
Paz, Enrique
WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, 2011, : 216 - 221
[37] Using of Petri nets techniques in information systems design
Korotikov, SV
2003 SIBERIAN RUSSIAN WORKSHOP ON ELECTRON DEVICES AND MATERIALS PROCEEDINGS, 2003, : 171 - 175
[38] Design of real-time distributed manufacturing control systems using UML capsules
Fletcher, M
Brennan, RW
Norrie, DH
OOIS 2001: 7TH INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 382 - 391
[39] Software performance modeling using UML and Petri nets
Merseguer, J
Campos, J
PERFORMANCE TOOLS AND APPLICATIONS TO NETWORKED SYSTEMS, 2004, 2965 : 265 - 289
[40] Design of parallel and distributed systems with high-level Petri nets using case technology
Mikolajczak, B
Rumbut, JT
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2288 - 2293

← 1 2 3 4 5 →