Pregled bibliografske jedinice broj: 526586
Interpreting Petri nets with CLIPS for software model checking
Interpreting Petri nets with CLIPS for software model checking // Annals of DAAAM for 2010 & Proceedings of the 21st International DAAAM Symposium / Katalinic, Branko (ur.).
Beč: DAAAM International Vienna, 2010. str. 111-112 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 526586 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Interpreting Petri nets with CLIPS for software model checking
Autori
Blašković Bruno ; Randić, Mirko
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Annals of DAAAM for 2010 & Proceedings of the 21st International DAAAM Symposium
/ Katalinic, Branko - Beč : DAAAM International Vienna, 2010, 111-112
ISBN
978-3-901509-73-5
Skup
21st International DAAAM Symposium
Mjesto i datum
Zadar, Hrvatska, 20.10.2010. - 23.10.2010
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Petri net; CLIPS; expert systems; software model checking; model transformation
Sažetak
In this paper translation of P/T Petri net into the CLIPS expert system shell interpreter has been described. PN translation is the part of software model checking and can serve as analysis tool for finding counterexamples, error trails and for Petri net simulation. At the end an example is presented.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Projekti:
036-0362027-1638 - Umrežena ekonomija (Skočir, Zoran, MZO ) ( CroRIS)
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
