Pregled bibliografske jedinice broj: 313186
From Declarative Model to Solution: Scheduling Scenario Synthesis
From Declarative Model to Solution: Scheduling Scenario Synthesis // Proceedings of the 9th International Conference on Telecommunications / Zeljka, Car ; Mario Kusek (ur.).
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 2007. str. 139-142 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 313186 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
From Declarative Model to Solution: Scheduling Scenario Synthesis
Autori
Bruno Blašković, Mirko Randić
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the 9th International Conference on Telecommunications
/ Zeljka, Car ; Mario Kusek - Zagreb : Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 2007, 139-142
ISBN
978-953-184-110-8
Skup
Conference on Telecommunications - ConTEL 2007
Mjesto i datum
Zagreb, Hrvatska, 13.06.2007. - 15.06.2007
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
modelling; scheduling; synthesis; Petri Net
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika, Računarstvo
POVEZANOST RADA
Projekti:
036-0362027-1638 - Umrežena ekonomija (Skočir, Zoran, MZO ) ( CroRIS)
036-0362027-1640 - Upravljanje mrežom i uslugama temeljeno na znanju (Jevtić, Dragan, MZO ) ( CroRIS)
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
