Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 40048

PetriNet based Modelling and Simulation of Email Alert System


Pukšec, Juraj; Opsenica, Miljenko; Frank, Domagoj; Maričić, Vlatka; Valavanis, Kimon P.; Lovrek, Ignac
PetriNet based Modelling and Simulation of Email Alert System // Proceedings of the 10th Mediterranean Electrotechnical Conference IEEE, Melecon 2000, Vol. I. - Regional Communication and Information Technology / Economides, Costas ; Pattichis, Constantinos S. ; et. al. (ur.).
Lemesos: IEEE, 2000. str. 49-52 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 40048 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
PetriNet based Modelling and Simulation of Email Alert System

Autori
Pukšec, Juraj ; Opsenica, Miljenko ; Frank, Domagoj ; Maričić, Vlatka ; Valavanis, Kimon P. ; Lovrek, Ignac

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 10th Mediterranean Electrotechnical Conference IEEE, Melecon 2000, Vol. I. - Regional Communication and Information Technology / Economides, Costas ; Pattichis, Constantinos S. ; et. al. - Lemesos : IEEE, 2000, 49-52

Skup
10th Mediterranean Electrotechnical Conference

Mjesto i datum
Lemesos, Cipar, 29-31.05.2000

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Internet service; email; Petri net; modelling.

Sažetak
The paper presents modelling, simulation and checking of the Email Alert System service by using Petri nets. Petri net models are used in the early design phases for formal verification of the service solution characterised by concurrent processes and threads, as well as hardware parallel ability. Case study discussing call design approach is included

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA


Projekti:
036030
071002

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb,
Ericsson Nikola Tesla d.d.


Citiraj ovu publikaciju:

Pukšec, Juraj; Opsenica, Miljenko; Frank, Domagoj; Maričić, Vlatka; Valavanis, Kimon P.; Lovrek, Ignac
PetriNet based Modelling and Simulation of Email Alert System // Proceedings of the 10th Mediterranean Electrotechnical Conference IEEE, Melecon 2000, Vol. I. - Regional Communication and Information Technology / Economides, Costas ; Pattichis, Constantinos S. ; et. al. (ur.).
Lemesos: IEEE, 2000. str. 49-52 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Pukšec, J., Opsenica, M., Frank, D., Maričić, V., Valavanis, K. & Lovrek, I. (2000) PetriNet based Modelling and Simulation of Email Alert System. U: Economides, C., Pattichis, C. & et. al. (ur.)Proceedings of the 10th Mediterranean Electrotechnical Conference IEEE, Melecon 2000, Vol. I. - Regional Communication and Information Technology.
@article{article, year = {2000}, pages = {49-52}, keywords = {Internet service, email, Petri net, modelling.}, title = {PetriNet based Modelling and Simulation of Email Alert System}, keyword = {Internet service, email, Petri net, modelling.}, publisher = {IEEE}, publisherplace = {Lemesos, Cipar} }
@article{article, year = {2000}, pages = {49-52}, keywords = {Internet service, email, Petri net, modelling.}, title = {PetriNet based Modelling and Simulation of Email Alert System}, keyword = {Internet service, email, Petri net, modelling.}, publisher = {IEEE}, publisherplace = {Lemesos, Cipar} }




Contrast
Increase Font
Decrease Font
Dyslexic Font