Petri net based modelling and simulation of email alert system

被引：0

作者：

Puksec, J ^{[1
]}

Opsenica, M ^{[1
]}

Frank, D ^{[1
]}

Maricic, V ^{[1
]}

Valavanis, KP ^{[1
]}

Lovrek, I ^{[1
]}

机构：

[1] Ericsson Nikola Tesla, HR-10000 Zagreb, Croatia

来源：

MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS | 2000年

关键词：

internet service; email; Petri net; modelling;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 Be service solution characterised by concurrent processes and threads, as well as hardware parallel ability. Case study discussing call design approach is included.

引用

页码：49 / 52

页数：4

共 7 条

[1]

Box D., 1998, ESSENTIAL COM

[2] The EMA system: A CTI-based E-mail alerting service [J].

Frank, D ;

Lucic, H ;

Opsenica, M ;

Puksec, J ;

Zic, M ;

Brajkovic, S ;

Maricic, V .

IEEE COMMUNICATIONS MAGAZINE, 2000, 38 (02) :122-128

[3]

HART JM, 1997, WIN32 SYSTEM PROGRAM

[4]

LOVREK I, 1998, MODELLING TELECOMMUN

[5]

OPSENICA M, 1999, P SOFTC 99 C SPLIT R, P279

[6]

Peterson J., 1981, PETRI NET THEORY MOD

[7] Petri net extensions for the development of MIMO net models of automated manufacturing systems [J].

Ramaswamy, S ;

Valavanis, KP ;

Barber, S .

JOURNAL OF MANUFACTURING SYSTEMS, 1997, 16 (03) :175-191

← 1 →