PLCTOOLS: Graph transformation meets PLC design

Electronic Notes in Theoretical Computer Science

Volumn 72, Issue 2, 2002, Pages 79-

  Baresi, Luciano ^a   Mauri, Marco ^a   Pezzè, Mauro ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; COMPUTER SIMULATION; DATA REDUCTION; EQUIVALENCE CLASSES; GRAPH THEORY; HIGH LEVEL LANGUAGES; LIBRARIES; LOGIC DESIGN; PROGRAMMABLE LOGIC CONTROLLERS; SYNTACTICS;

CONTROL ENGINEERS; FORMAL REPRESENTATIONS; FUNCTIONAL BLOCK DIAGRAMS (FBD); HIGH-LEVEL TIMED PETRI NETS (HLTPN);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 7044272936     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80532-8     Document Type: Article

References (0)