From Declarative Model to Solution: Scheduling Scenario Synthesis (CROSBI ID 531548)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Bruno Blašković, Mirko Randić
engleski
From Declarative Model to Solution: Scheduling Scenario Synthesis
This paper presents deductive programming for scheduling scenario generation. Modeling for solution is achieved through program transformations. First, declarative model for scheduling problem domain is introduced. After that model is interpreted as scheduling domain language and as predicate transition Petri net. Generated reachability tree presents search space with solutions. At the end results are discussed and analyzed.
modelling; scheduling; synthesis; Petri Net
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
139-142-x.
2007.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 9th International Conference on Telecommunications
Zeljka, Car ; Mario Kusek
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu
978-953-184-110-8
Podaci o skupu
Conference on Telecommunications - ConTEL 2007
predavanje
13.06.2007-15.06.2007
Zagreb, Hrvatska