会议专题

Hybrid Modeling Method Based on FSPN for Sensor Networks

  Sensor networks play a central role in the Internet of things,which attracts lots of attentions recently.Mathematical models are of much help to explore intricate scheduling on the sensor node or interactions between different sensor nodes.Although many existing approaches have shown that the sensor network behaves like a hybr(i)d system,where discrete character and continuous character exist together,few of them have attempted to consider two characters together.In this paper,we propose a novel quantitative modeling framework based on Fluid Stochastic Petri nets (FSPNs),and provide comprehensive theoretical analysis to a typical sensor network example.Our modeling framework,which combines advantages of both Stochastic Petri Nets (SPNs) and Hybrid Functional Petri Nets (HFPNs),reflects the hybrid nature of sensor networks,and at the same time eases the problem of state space explosion.The modeling mechanism proposed in this paper constructs sensor network models that are comprised of both stochastic processes and fluid flow approximation technique.From the evaluation,its shown that the new method performs well.

hybrid petri net FSPN state space explosion

Zicheng Wan Huan Zhou Yiping Deng Rong Li

Department of Internet of Things,Beijing Institute of Technology University,Beijing,China Department of Computer Science and Technology,Tsinghua University,Beijing,China The 61135 Unit,PLA,Beijing,China

国际会议

2013 International Conference on Energy Research and Power Engineering(2013能源研究与电力工程国际会议)(ERPE2013)

郑州

英文

1458-1465

2013-05-24(万方平台首次上网日期,不代表论文的发表时间)