MODELING OF COLLABORATIVE PRODUCTION SYSTEMS USING COLOURED PETRI NETS

被引：0

作者：

Igei, Percy ^{[1
]}

Cugnasca, Carlos E. ^{[1
]}

Junqueira, Fabricio ^{[1
]}

Miyagi, Paulo E. ^{[1
]}

Garcia, Jose I. ^{[2
]}

机构：

[1] Univ Sao Paulo, Escola Politecn, Sao Paulo, Brazil

[2] Univ Valle, Sch Mech Engn, Cali, Colombia

来源：

PECCS 2011: PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS | 2011年

基金：

巴西圣保罗研究基金会;

关键词：

Production system; Publish/Subscribe; Collaborative production system model; Coloured Petri Net;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

Production Systems are undergoing continuous changes in order to be more competitive in a globalized market. In this scenario, there is a tendency to geographically distribute the production process to reduce development and production costs. The interaction between these components is characterized by the presence of a high number of concurrent and asynchronous processes. As a result, the development of production systems is a complex and difficult task. To cope with this complexity, this paper proposes a systematic approach for the modeling of collaborative production systems. This approach explores the potential of formal modeling language such as Colored Petri net to represent and analyze the dynamic behavior of the system. Additionally, the publish/subscribe paradigm is introduced to establish the communication in the coordination process of the system.

引用

页码：257 / 260

页数：4

共 50 条

[1] Modeling control systems with coloured Petri nets using global variables
Baranauskas, Virginijus
Bartkevicius, Stanislovas
Kragnys, Ricardas
Sarkauskas, Kastytis
[J]. ELECTRICAL AND CONTROL TECHNOLOGIES, PROCEEDINGS, 2006, : 306 - 309
[2] Modeling interaction in cooperative information systems using coloured Petri nets
Camargo-Santacruz, F
Ramos-Quintana, F
Frausto-Solis, J
[J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XII, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS: II, 2003, : 334 - 344
[3] Modelling of manufacturing systems and production routes using coloured Petri nets
Zimmermann, A.
[J]. International Journal of Robotics and Automation, 1998, 13 (03) : 96 - 100
[4] An architecture for Modeling interaction in cooperative information systems using coloured Petri nets
Camargo-Santacruz, F
Ramos-Quintana, F
Frausto-Solis, J
[J]. SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 158 - 164
[5] A methodology for modeling interactions in cooperative information systems using coloured petri nets
Ramos-Quintana, F
Frausto-Solis, J
Camargo-Santacruz, F
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (06) : 619 - 635
[6] Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets
Zhang, Weiyi
Salcic, Zoran
Malik, Avinash
[J]. 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 152 - 159
[7] Modeling production systems with inventory using Hybrid Petri Nets
Furcas, R
Giua, A
Piccaluga, A
Seatzu, C
[J]. PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA'01), 2001, : 434 - 440
[8] Using Coloured Petri Nets to model and verify telecommunications systems
Nepomniaschy, Valery
Beloglazov, Dmitry
Churina, Tatiana
Mashukov, Mikhail
[J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2008, 5010 : 360 - 371
[9] Modelling Assistive Technology Systems Using Coloured Petri Nets
Gilligan, John
Smith, Peter
[J]. ASSISTIVE TECHNOLOGY FROM ADAPTED EQUIPMENT TO INCLUSIVE ENVIRONMENTS, 2009, 25 : 754 - 758
[10] Modeling of AS/RS via coloured Petri nets
Basile, F
Carbone, C
Chiacchio, P
[J]. 2001 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS PROCEEDINGS, VOLS I AND II, 2001, : 1029 - 1034

← 1 2 3 4 5 →