DocumentCode
359261
Title
Petri net based modelling and simulation of Email Alert System
Author
Puksec, Juraj ; Opsenica, Miljenko ; Frank, Domagoj ; Maricic, Vlatka ; Valavanis, Kimon P. ; Lovrek, Ignac
Author_Institution
Ericsson Nikola Tesla, Zagreb, Croatia
Volume
1
fYear
2000
fDate
2000
Firstpage
49
Abstract
The paper presents modelling, simulation and checking of 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. A case study discussing call design approach is included
Keywords
Internet; Petri nets; electronic mail; formal verification; telephony; Email Alert System; Petri net based modelling; call design; checking; concurrent processes; design; formal verification; hardware parallel ability; service solution; simulation; Computer languages; Databases; Electronic mail; Formal verification; Hardware; Internet telephony; Postal services; Web and internet services; Web server; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrotechnical Conference, 2000. MELECON 2000. 10th Mediterranean
Conference_Location
Lemesos
Print_ISBN
0-7803-6290-X
Type
conf
DOI
10.1109/MELCON.2000.880365
Filename
880365
Link To Document