RCPetri: a Matlab app for the synthesis of Petri net regulation controllers for industrial automation

被引：1
|
作者：
Cid Gaona, Anibal [1 ]
Manuel Chavez, Jose [1 ]
Renato Vazquez, Carlos [1 ]
机构：
[1] Tecnol Monterrey, Escuela Ciencias & Ingn, Zapopan, Mexico
来源：
2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA) | 2021年
基金：
芬兰科学院;
关键词：
Manufacturing Automation; Petri Nets; Decentralized control; Pneumatic systems; DISCRETE;
D O I：
10.1109/ETFA45728.2021.9613441
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
RCPetri is a Matlab app designed to generate and simulate Petri net models, and to compute regulation controllers. The regulation control paradigm for Petri nets allows to compute sequence controllers for industrial automated systems from highlevel specifications. In this work, the functionalities of the RCPetri app are described, including the Petri net drawing and generation, the simulation, the synchronous composition operation, the automatic specification generation, the automatic control synthesis, and the automatic translation to PLC code for its implementation. An application example is presented to illustrate the use of the app.
引用
收藏
页数：7
相关论文
共 15 条
  • [1] On the Design of Regulation Controllers for Automation Systems with RCPetri
    Anguiano-Gijon, Carlos Alberto
    Cid-Gaona, Anibal
    Chavez-Delgado, Jose Manuel
    Vazquez, Carlos Renato
    APPLIED SCIENCES-BASEL, 2022, 12 (07):
  • [2] Differential Petri net models for industrial automation and supervisory control
    Demongodin, Isabel
    Koussoulas, Nick T.
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2006, 36 (04): : 543 - 553
  • [3] Transparency analysis of Petri net based logic controllers - A measure for software quality in automation
    Frey, G
    Litz, L
    PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3182 - 3186
  • [4] Industrial simulation and Petri net simulation for the design of an automation structure for semiconductor fabrication
    Westphal, H
    Zimmermann, A
    SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 723 - 727
  • [5] Petri net-based specification, analysis and synthesis of logic controllers
    Wegrzyn, A
    Wegrzyn, M
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 20 - 26
  • [6] Petri-net controller synthesis using Matlab/Statflow tools
    Ibraheem, AA
    Moteleb, MSA
    Bahgat, AG
    Proceedings of the 46th IEEE International Midwest Symposium on Circuits & Systems, Vols 1-3, 2003, : 1030 - 1033
  • [7] Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation
    Mendes, J. Marco
    Restivo, Francisco
    Leitao, Paulo
    Colombo, Armando W.
    EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, 2010, 314 : 233 - +
  • [8] Petri net based engineering and software methodology for service-oriented industrial automation
    Mendes J.M.
    Restivo F.
    Leitão P.
    Colombo A.W.
    IFIP Advances in Information and Communication Technology, 2010, 314 : 233 - 240
  • [9] Behavioral synthesis of discrete controllers for controlled systems with extended Petri net models
    Bollue, Kai
    Abel, Dirk
    AUTOMATION 2009, 2009, 2067 : 433 - 436
  • [10] A Petri Net based approach for the synthesis of parts' controllers for reconfigurable manufacturing systems
    Lee, Eun Joo
    Toguyeni, Armand
    Dangoumau, Nathalie
    2006 SICE-ICASE INTERNATIONAL JOINT CONFERENCE, VOLS 1-13, 2006, : 3702 - +
12