PetriNet based Modelling and Simulation of Email Alert System (CROSBI ID 473324)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Pukšec, Juraj ; Opsenica, Miljenko ; Frank, Domagoj ; Maričić, Vlatka ; Valavanis, Kimon P. ; Lovrek, Ignac
engleski
PetriNet based Modelling and Simulation of Email Alert System
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
Internet service; email; Petri net; modelling.
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
49-52.
2000.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 10th Mediterranean Electrotechnical Conference IEEE, Melecon 2000, Vol. I. - Regional Communication and Information Technology
Economides, Costas ; Pattichis, Constantinos S. ; et. al.
Limassol: Institute of Electrical and Electronics Engineers (IEEE)
Podaci o skupu
10th Mediterranean Electrotechnical Conference
predavanje
29.05.2000-31.05.2000
Limassol, Cipar