位置：成果数据库 > 期刊 > 期刊详情页
Method for computing minimal siphons in Petri Nets and the performance analysis
  • ISSN号：0254-4164
  • 期刊名称：Jisuanji Xuebao/chinese Journal of Computers
  • 时间：0
  • 页码：596-602
  • 相关项目：基于行为认证的电子银行可信软件验证试验环境研究
作者： 张金泉|倪丽娜|蒋昌俊|张军旗|
同期刊论文项目
基于行为认证的电子银行可信软件验证试验环境研究
期刊论文 52 会议论文 10 获奖 4
同项目期刊论文
Upper bounds on lifetime of ordinary clustering ultra wide band sensor networks
An incremental method for mining generalized association rules based on extended canonical-order tre
Research on Web service selection based on cooperative evolution
A vector matching method for analysing logic Petri nets
Automatic Web service composition based on Horn clauses and Petri nets
基于频繁闭情节及其生成子的无冗余情节规则抽取
Adaptive model for Web image semantic automatic annotation
Multicast throughput for large scale cognitive networks
Progressive ranking and composition of web services with interaction relationship
Dynamic web service selection based on discrete particle swarm optimization
Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs
A necessary and sufficient condition for the liveness of normal nets
Interactive Web service composition based on Petri net
Improved sufficient condition for the controllability of dependent siphons in system of simple seque
XML流管理研究综述
A fast adaptive load balancing method for parallel particle-based simulations
Petri网极小虹吸的计算方法与性能分析
一种基于领域本体的最优Web服务组合方法
基于Petri网的容错系统分层建模
A survey of XML stream management
基于离散微粒群算法的动态Web服务选择
Design and Implementation of a Web Service based Public-oriented Personalized Health Care Platform
Effective image auto-annotation via discriminative hyperplane tree based generative model
Automatic Web services composition algorithm based on optimal matching
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
基于程序Petri网的新型软件开发方法研究
大规模分簇超宽带传感网的生存期渐近界
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement
Process nets with channels
逻辑Petri网变迁使能的判定方法
常规分簇的超宽带传感网生存期的上界
一种高效的多层和概化关联规则挖掘方法
A Biometric-Based User Authentication for Wireless Sensor Networks
Extended and improved slicing technologies for Petri nets
基于可判别超平面树的生成模型图像标注方法
一种自适应的Web图像语义自动标注方法
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433