位置：成果数据库 > 期刊 > 期刊详情页
基于Petri网的WSCI形式化模型分析
  • 期刊名称：计算机工程与科学
  • 时间：0
  • 页码：60-63
  • 语言：中文
  • 相关项目：基于时段逻辑和时间Petri网的RFID复杂事件描述与检测模型及验证研究
作者： 胡文蕙|高昕|王捍贫|黄雨|
同期刊论文项目
基于时段逻辑和时间Petri网的RFID复杂事件描述与检测模型及验证研究
期刊论文 19 会议论文 4 专利 1
同项目期刊论文
供应链环境下一种分布式RFID发现服务
RFID信息服务网络中支持复合订阅的路由算法研究
基于RFID发现服务的一种供应链建模技术
操作表达式的Petri网表示(英文)
O-表达式的性质定义与规范(英文)
一种基于Petri网的RFID事件检测的形式化方法
一种基于Trie树和扩展B树的RFID标签编码过滤方法研究
A study on fairness of place/transition systems
基于Petri网的RFID中间件中复合事件检测研究
基于P2P的RFID编码解析网络结构与算法研究
RFID网络中发现服务系统的一种形式化规约
RFID信息服务中发布/订阅系统若干关键技术问题研究
一种基于RFID数据集物品工作流挖掘方法
程序:物理对象上的操作表达式(英文)
基于Petri网的协同设计过程模型
一种基于时间序列的RFID供应链数据分析方法
A Secure Communication Mechanism of P2P RFID Code Resolution Network RFID Code Resolution Network
基于扩展库所网的工作流过程规约和模式描述