Distributed Petri nets for analysis and integration of systems

被引:0
|
作者
Riascos, LAM [1 ]
Miyagi, PE [1 ]
机构
[1] Univ Sao Paulo, Escola Politecn, BR-05508900 Sao Paulo, Brazil
关键词
Petri nets; distributed systems; manufacturing systems; and fault-tolerance;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This work introduces the concept of Distributed Petri Nets as a tool to model and to analyze manufacturing systems. Distributed Petri Nets can integrate Petri Nets models of different types, in which each model represent a specific feature of the system. Also, a simulation tool was developed to analyze models based on Distributed Petri nets. A fault-tolerant approach to detect and treat failures by tool-wear, tool-break, or programming mistakes was analyzed in the simulation tool.
引用
收藏
页码:63 / 67
页数:5
相关论文
共 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] Modeling and Verifying Distributed Systems with Petri Nets
    Baarir, Souheib
    Kordon, Fabrice
    [J]. PROCEEDINGS OF THE 2012 IEEE SECOND INTERNATIONAL WORKSHOP ON ADVANCED INFORMATION SYSTEMS FOR ENTERPRISES (IWAISE 2012), 2012, : 92 - 92
  • [3] Distributed algorithms: Modeling and analysis with Petri Nets
    Reisig, W
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 38 - 43
  • [4] Analysis of the operational Petri nets by a distributed system
    Karatkevich, AG
    Gratkowski, T
    [J]. MODERN PROBLEMS OF RADIO ENGINEERING, TELECOMMUNICATIONS AND COMPUTER SCIENCE, PROCEEDINGS, 2004, : 319 - 322
  • [5] 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,
  • [6] Modeling and Integration of Hospital Information Systems with Petri Nets
    Darabi, Houshang
    Galanter, William L.
    Lin, Janet Yueh-Yun
    Buy, Ugo
    Sampath, Rupa
    [J]. PROCEEDINGS OF 2009 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATION, LOGISTICS AND INFORMATICS, 2009, : 190 - +
  • [7] Scheduling analysis based on Petri nets for distributed real time embedded systems
    Zhang, Hai-Tao
    Ai, Yun-Feng
    [J]. Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2007, 37 (03): : 616 - 620
  • [8] High Level Petri Nets, a Tool for Modelling and Analysis of Distributed Systems.
    Mueller, Horst
    [J]. Informationstechnik, 1988, 30 (02): : 110 - 117
  • [9] Analysis of Petri Nets and Transition Systems
    Best, Eike
    Schlachter, Uli
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (189): : 53 - 67
  • [10] A reliability analysis of distributed programs with Colored Petri Nets
    Hong, SB
    Kim, K
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3975 - 3980