UML and Petri Nets for design and analysis of distributed systems

被引：13

作者：

Bordbar, B ^{[1
]}

Giacomini, L ^{[1
]}

Holding, DJ ^{[1
]}

机构：

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

来源：

PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS | 2000年

关键词：

D O I：

10.1109/CCA.2000.897497

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper presents a modification to UML to improve the modelling and analysis of discrete-event dynamic system (DEDS) representations of manufacturing systems. It shows how Petri Nets can be used to improve the representation and analysis of the dynamic model of a system specified using UML. Finally the technique is illustrated by its application to a simplified production line.

引用

页码：610 / 615

页数：6

共 12 条

[1]

[Anonymous], 1999, DOING HARD TIME DEV

[2]

[Anonymous], 2000, UNIFIED MODELING LAN, DOI DOI 10.1007/3-540-40011-7_10

[3]

Booch G., 1991, Object-oriented Analysis and Design with Applications

[4]

Cassandras C. G., 2009, Introduction to discrete event systems, V2nd, DOI 10.1007/978-3-030-72274-6

[5]

David R., 1992, Petri Nets and Grafcet-tools for Modelling Discrete Events Systems

[6]

Desrochers A. A., 1995, APPL PETRI NETS MANU

[7] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS [J].

HAREL, D .

SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :231-&

[8] Compositional verification of concurrent systems using Petri-net-based condensation rules [J].

Juan, EYT ;

Tsai, JJP ;

Murata, T .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (05) :917-979

[9] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].

MURATA, T .

PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580

[10]

Peterson J., 1981, PETRI NET THEORY MOD

← 1 2 →