A toolbox for the development of logic controllers using petri nets

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 473-474

  Frey, Georg ^a   Wagner, Florian ^a  

^a University of Koblenz Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

PLC CODE; QUALITY EVALUATION;

COMPUTER AIDED LOGIC DESIGN;

EID: 34250654811     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/wodes.2006.382522     Document Type: Conference Paper

References (10)

1. nd Edition, Jan. 2003.
2. G. Frey, L. Litz, "Formal methods in PLC programming", Proceedings of the IEEE SMC 2000, Nashville (TN), pp. 2431-2436, Oct. 2000.
3. G. Frey, "Design and formal Analysis of Petri Net based Logic Control Algorithms.", Dissertation, University of Kaiserslautern, Shaker Verlag, Aachen, April 2002
4. Graph Viz, http://www.graphviz.org
5. NuSMV, http://www.nusmv.org
6. Dynasim, http://www.dynasmi.org
7. Modelica Organisation, http://www.modelica.org
8. PNML, http://www2.informatik.hu-berlin.de/top/pnml/about.html
9. G. Frey, F. Felgner, "Simulative Validierung Petrinetz-basierter Steuerungen durch Transformation in Modelica", Proceedings 17. Symposium Simulationstechnik (ASIM 2003), Magdeburg, pp.81-86, Sept. 2003.
10. M. Minas, G. Frey, "Visual PLC-Programming using Signal Interpreted Petri Nets", Proceedings of the American Control Conference 2002 (ACC2002), Anchorage, Alaska, pp. 5019-5024, May 2002