Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 2, Issue January, 2003, Pages 329-336

  Lobov, Andrei ^a   Lastra, Jose L Martinez ^a   Tuokko, Reijo ^a   Vyatkin, Valeriy ^b  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTATIONAL LINGUISTICS; COMPUTER AIDED MANUFACTURING; CONTROL SYSTEMS; CONTROLLERS; DECENTRALIZED CONTROL; EMBEDDED SYSTEMS; FACTORY AUTOMATION; FLOWCHARTING; FORMAL METHODS; HIGH LEVEL LANGUAGES; MANUFACTURE; MODEL CHECKING; PETRI NETS; VISUAL LANGUAGES;

DISTRIBUTED ENVIRONMENTS; HIGH-LEVEL PROGRAMMING LANGUAGE; INDUSTRIAL AUTOMATION; MACHINE CONTROLLERS; MECHATRONIC DEVICES; NET CONDITION/EVENT SYSTEMS; RECONFIGURABLE MANUFACTURING SYSTEM; VALIDATION APPROACH;

CLOSED LOOP CONTROL SYSTEMS;

EID: 34548272642     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2003.1248718     Document Type: Conference Paper

References (10)

1. Hanisch H.-M., Thieme J., Lüder A., Wienhold O., Modeling of PLC Behavior by Means of Timed Net Condition/Event Systems, In Proc. 6th IEEE Conf. Emerging Technologies and Factory Automation (ETFA'97), Los Angeles, pages 391-396, 1997.
2. Starke P.H., Hanisch H.-M., Analysing of Signal/Event Nets, In Proc. 6th IEEE International Conference on Emerging Technologies and Factory Automation ETFA-97, Los Angeles, USA, pages 253-257, September 1997.
3. Starke P. H., Roch S. (Eds.), Analysing Signal-Net Systems, http://www.informatik.huberlin.de/lehrstuehle/automaten/tools/asen.ps.gz, January 2002.
4. Vyatkin V., Hanisch H.-M., Starke P., Roch S., Formalism for Verification of Discrete Control Applications on Example of IEC 61499 Function Blocks, In Proc. of Verteile Automatisierung, Magdeburg, 2000.
5. Vyatkin V., Hanisch H.-M., Verification of distributed control systems in intelligent manufacturing, Kluwer Academic Publishers, Journal of Intelligent Manufacturing, 14, pp. 123-136, 2003
6. Rausch M. and Hanisch H.-M., Net condition/event systems with multiple condition outputs. In Proceedings of the Symposium on Emerging Technologies and Factory Automation, Paris, France, October 1995, vol. 1, pp. 592-600, INRA/IEEE
7. Hanisch H.-M., Lüder A., Thieme J., A Modular Plant Modeling Technique and Related Controller Synthesis Problems. IEEE International Conference on Systems, Man, and Cybernetics, October 1998, vol. 1, pp. 686-691
8. Lastra, Jose L.M., Evaluation of New Open Control Systems For Light Assembly Applications. M. Sc. Thesis. Tampere University of Technology. 2000
9. Nematron Corp., Open Control: About open architecture, http://www.nematron.com/OpenControl/oc-architecture.shtml, September 2001
10. Heiner M. and Menzel T., Instruction list verification using a Petri net semantics, IEEE International Conference on Systems, Man, and Cybernetics, vol. 1, October 1998, pp. 716-721