位置：成果数据库 > 期刊 > 期刊详情页
Property analysis of logic Petri nets by marking reachability graphs
  • ISSN号：2095-2228
  • 期刊名称：Frontiers of Computer Science
  • 时间：2014
  • 页码：684-692
  • 相关项目：逻辑Petri网演化推理机制研究及其在服务组合中的应用
作者： Du, Yuyue|Ning, Yuhui|
同期刊论文项目
逻辑Petri网演化推理机制研究及其在服务组合中的应用
期刊论文 58 会议论文 11 获奖 22
同项目期刊论文
The analysis and verification of cooperative workflow based interactive abstract graph
Structural Normal Form and its Testing Algorithm of Service process based on WS-BPEL
Three-dimensional granularity division method for service clusters
面向服务簇的服务体系结构及服务发现
A logical Petri net-based model for web service cluster composition and soundness verification
Petri-net modeling of container-port workflow
基于逻辑Petri网的Web服务簇模型
一种基于场景的需求驱动构件服务聚集方法
一种面向聚类的语义Web服务发现方法
一种基于服务簇网元模型的Web服务发现方法
基于标号随机Petri网的GSM性能分析
A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets
An efficient algorithm of service discovery based on service clusters
A web service discovery and composition method based on service classes
Service Composition Based on Enhanced Logic Petri nets
A Service Selection Method Based on Web Service Clusters
Service net algebra based on logic Petri nets
Transition firing rules of logic petri nets
An Approach of Data Mining Process Based on Stochastic Well-formed Workflows
基于服务簇和QoS的Web服务组合方法
A method to calculate recommendation trust of web services
基于服务簇的Web服务绑定方法
Analysis and application of logical petri nets to E-commerce systems
Properties analysis of substitution of logical workow nets
业务过程管理研究现状与关键技术综述
一种最优校准的分组算法
Colored Logic Petri Nets andAnalysis of Their Reachable Trees
医疗急诊流程挖掘与模型改进
一种基于校对的模型问题域识别方法
流程交换重复偏差的识别方法
Transformation of Logical Workflow Nets
Web服务流程的结构范式及其判定算法
Composition Patterns of Logical Net Elements
An approach of Web service discovery and composition based on logic Petri nets
Web服务业务流程执行语言交互兼容性判定
一种基于逻辑Petri网的Web服务簇组合方法
基于服务簇的服务组合替换与分析
Soundness analysis of logic service net based on service clusters
A semantic approach of service clustering and web service discovery
高速公路冰雪应急流程挖掘与模型改进方法
Efficient data dissemination scheme for the urban vehicular ad hoc networks
面向服务簇的服务流程构建
基于逻辑数据Petri网的业务过程建模与分析
一种高精确度的过程模型修复方法
一种集装箱港口集卡的动态调度方法
一种基于校准的模型问题域识别方法
Property analysis of logic Petri nets by marking reachability graphs
期刊信息
  • 《中国计算机科学前沿：英文版》
  • 主管单位:中华人民共和国教育部
  • 主办单位:高等教育出版社
  • 主编：李未　陆汝钤
  • 地址：北京市朝阳区惠新东街4号富盛大厦15层
  • 邮编：100029
  • 邮箱：
  • 电话：
  • 国际标准刊号：ISSN：2095-2228
  • 国内统一刊号：ISSN：11-5731/TP
  • 邮发代号:80-970
  • 获奖情况:
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国科学引文索引（扩展库）,英国科学文摘数据库
  • 被引量:7