Modelling networked agents' behaviour using timed hybrid Petri nets

被引：6

作者：

Gudino-Mendoza, Berenice ^{[1
]}

Lopez-Mellado, Ernesto ^{[1
]}

机构：

[1] Cinvestav Unidad Guadalajara, Zapopan Jal 45019, Mexico

来源：

3RD IBEROAMERICAN CONFERENCE ON ELECTRONICS ENGINEERING AND COMPUTER SCIENCE, CIIECC 2013 | 2013年 / 7卷

关键词：

Hybrid state representation; Multiagent systems; Time hybrid Petri nets; Modelling framework;

D O I：

10.1016/j.protcy.2013.04.036

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

This paper deals with the modelling of networked identical agents. It focuses on the agent hybrid state representation and its dynamic behaviour, and their interaction with neighbour agents in wireless sensor networks. A framework for modelling this kind of systems specified by timed hybrid Petri nets (THPN) is presented. The state of an agent, expressed as a set of variables that can be either integer or real valued are represented in a THPN model, as well as their updating functions. The framework is illustrated through a case study regarding a sensor network. (C) 2013 The Authors. Published by Elsevier Ltd. Selection and peer-review under responsibility of CIIECC 2013

引用

页码：289 / 296

页数：8

共 50 条

[31] Timed approximate Petri nets
Suraj, Zbigniew
Fryc, Barbara
FUNDAMENTA INFORMATICAE, 2006, 71 (01) : 83 - 99
[32] Processes of timed Petri nets
Winkowski, J
THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 1 - 34
[33] Timed Catalytic Petri Nets
Aman, Bogdan
Ciobanu, Gabriel
Pinna, G. Michele
14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 319 - 326
[34] Invariants of Timed Petri Nets
D. A. Zaitsev
Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
[35] Fuzzy timed Petri nets
Pedrycz, W
Camargo, H
FUZZY SETS AND SYSTEMS, 2003, 140 (02) : 301 - 330
[36] Modelling foundation based on Queueing Petri Nets and Hybrid Nets
Boicescu, Laurentiu
Gheorghica, Daniel
Croitoru, Victor
2014 10TH INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM), 2014,
[37] Verification of analog and mixed-signal circuits using timed hybrid Petri nets
Little, S
Walter, D
Seegmiller, N
Myers, C
Yoneda, T
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 426 - 440
[38] Asynchronous multimedia processing using timed Petri nets
Shih, TK
Jiang, DR
Hung, JC
Pai, WC
Wang, CC
INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 314 - 317
[39] Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling
Tolba, C
Lefebvre, D
Thomas, P
El Moudni, A
SIMULATION MODELLING PRACTICE AND THEORY, 2005, 13 (05) : 407 - 436
[40] Greenhouse Modeling Using Continuous Timed Petri Nets
Tovany, Jose Luis
Ross-Leon, Roberto
Ruiz-Leon, Javier
Ramirez-Trevino, Antonio
Begovich, Ofelia
MATHEMATICAL PROBLEMS IN ENGINEERING, 2013, 2013

← 1 2 3 4 5 →