国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 美國政府科技報告 >Dynamic Petri-Nets: A New Modeling Technique for the Topology of Distributed Sensor Networks; Conference paper
【24h】

Dynamic Petri-Nets: A New Modeling Technique for the Topology of Distributed Sensor Networks; Conference paper

機(jī)譯:動態(tài)petri網(wǎng):分布式傳感器網(wǎng)絡(luò)拓?fù)涞囊环N新的建模技術(shù);會議論文

獲取原文

摘要

This paper introduces and describes a new extension to Petri-Nets that provides additional mechanisms for the modeling of dynamic, distributed and concurrent behavior. The extensions provide for the creation and destruction of conventional Petri-Net Places and Transitions providing dynamic behavior of Petri-Net operation. We call this new Petri-Net model Dynamic Petri- Nets (DPN). With this new model, the structure of the Petri-Net, i.e. the interconnection of Places and Transitions, will evolve over time. The paper introduces specific rules for the Place/Transition modifications, and presents some new and well-known properties of Petri-Nets under these modifications. A Many Sorted Algebraic model of the DPN is presented that formally describes the techniques and relationships presented informally. Finally, an example of the use of these extensions is presented to represent the broadcast nature of mobile ad hoc and distributed sensor networks.

著錄項

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
獲取原文

客服郵箱:kefu@zhangqiaokeyan.com

京公網(wǎng)安備:11010802029741號 ICP備案號:京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有
  • 客服微信

  • 服務(wù)號