Model based scheduling scenario generation
Bruno Blašković, Mirko Randić · DAAAM international scientific book ... · 2006
This article deals with model based systems. Following the concepts from process algebra, formal model of the system is built. After that model is transformed to the predicate net and simulation program providing executable specification for the problem domain. Results are analyzed and discussed through scheduling scenario example.