Design of SEMA: A software system for computer-aided modelling and simulation of sequential machines
Tuncer I. Ören, Brian Collie · Winter Simulation Conference · 1980
SEMA (SEquential MAchines) is a theory-based comprehensive computer-aided modelling and model processing system. The modelling methodologies of the current version of SEMA are finite-state machines (Moore and Meally) and Markov chains. In this paper, modelling features, computer-aided modelling facilities, and the highlights of some other features of the SEMA system are discussed.