Petri net based modelling and simulation of Email Alert System
J. Puksec, Miljenko Opsenica, Domagoj Frank, V. Maricic, Kimon P. Valavanis, Ignac Lovrek · 2002
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.