In this paper the relation of high-level Petri-nets (hlpn) and linear algebra is outlined. On the basis of this relation the theory of the dual spaces can be brought in to a new c...
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
Cluster tools are representatives of a special kind of tool where process times of jobs depend on the combination in which they are processed together on the tool and hence, depen...
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
This paper describes the selection and automation of a method for estimating how many replications should be run to achieve a required accuracy in the output. The motivation is to...