Instruction list verification using a Petri net semantics

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 1998, Pages 716-721

  Heiner, Monika ^a   Menzel, Thomas ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; MATHEMATICAL MODELS; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

INSTRUCTION LIST LANGUAGE; PETRI NET SEMANTICS;

COMPUTATIONAL LINGUISTICS;

EID: 0032278395     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)