Title :
Formal Specification And Validation In Production Plants
Author :
Ezpeleta, J. ; Martinez, J.
Author_Institution :
University of Zaragoza
Keywords :
Computer science; Formal specifications; Job shop scheduling; Microwave devices; Microwave ovens; Petri nets; Production systems; Routing; System recovery; Workstations;
Conference_Titel :
Computer Integrated Manufacturing, 1992., Proceedings of the Third International Conference on
Print_ISBN :
0-8186-2615-1
DOI :
10.1109/CIM.1992.638993
