位置：成果数据库 > 会议 > 会议详情页
A Novel Method for Formally Detecting RFID Event Using Petri Nets
  • 所属机构名称：北京大学
  • 会议名称：the 23rd International Conference on Software Engineering & Knowledge Engineering
  • 成果类型：会议
  • 相关项目：基于时段逻辑和时间Petri网的RFID复杂事件描述与检测模型及验证研究
作者： Xin Gao|Jinan Sun|Lifu Wang|Shikun Zhang|Yu Huang|
同会议论文项目
基于时段逻辑和时间Petri网的RFID复杂事件描述与检测模型及验证研究
期刊论文 19 会议论文 4 专利 1
同项目会议论文
基于Petri网的协同设计过程模型
Analyzing Service Composition Patterns in BPEL
A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID