Pregled bibliografske jedinice broj: 1089458
Interpreted Petri Nets as a validation tool for telecommunication service protocol synthesis
Interpreted Petri Nets as a validation tool for telecommunication service protocol synthesis // ITA. Informacija telekomunikacije automati, 12 (1993), 1-3; 379-386 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 1089458 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Interpreted Petri Nets as a validation tool for telecommunication service protocol synthesis
Autori
Blašković, Bruno
Izvornik
ITA. Informacija telekomunikacije automati (0351-7748) 12
(1993), 1-3;
379-386
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
protocol synthesis ; telecommunication services ; Petri Nets ; validation
Sažetak
This paper deals with an approach for validation of telecommunication service protocols. The approach is based on equivalence notion on Petri Net. The methodology for synthesis of telecommunication service protocol strongly influenced the results presented as three algorithms. Executable specification is obtained by means of Petri Net simulation in declarative as well as procedural environment.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika, Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Bruno Blašković
(autor)
