Pregled bibliografske jedinice broj: 323603
Model Based Scheduling Scenario Generation
Model Based Scheduling Scenario Generation // DAAAM international scientific book ..., 5 (2006), 031-044 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 323603 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Model Based Scheduling Scenario Generation
Autori
Blašković, Bruno ; Randić , Mirko
Izvornik
DAAAM international scientific book ... (1726-9687) 5
(2006);
031-044
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
model based systems; schedulling and planning; predicate transition petri nets; simulation; specification; verification
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika, Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
