Control logic generation for machining systems using Petri net formalism

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

Volumn 5, Issue , 2000, Pages 3201-3206

  Park, Euisu ^a   Tilbury, Dawn M ^a   Khargonekar, Pramod P ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED LOGIC DESIGN; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FORMAL LOGIC; MACHINE TOOLS; MATHEMATICAL MODELS; PROGRAMMABLE LOGIC CONTROLLERS; SUPERVISORY AND EXECUTIVE PROGRAMS;

CONTROL LOGIC;

PETRI NETS;

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

References (14)