位置：成果数据库 > 期刊 > 期刊详情页
A necessary and sufficient condition for the liveness of normal nets
  • ISSN号：0010-4620
  • 期刊名称：Computer Journal
  • 时间：0
  • 页码：157-163
  • 相关项目：基于行为认证的电子银行可信软件验证试验环境研究
作者： GuanJun Liu|ChangJun Jiang|Daniel Y. Chao|
同期刊论文项目
基于行为认证的电子银行可信软件验证试验环境研究
期刊论文 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
Method for computing minimal siphons in Petri Nets and the performance analysis
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
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图像语义自动标注方法