A Comparison Study of the Logic of Four Wafer Fabrication Simulators.

Scott J. Mason Paul A. Jensen John W. Fowler

Published in: WSC (1996)

Keyphrases

wafer fabrication
logic programming
classical logic
predicate logic
formal theory
dispatching rule
real time
manufacturing systems
probability theory
complex systems
petri net
automated reasoning
computational properties
digital circuits
sound and complete axiomatization