位置：成果数据库 > 期刊 > 期刊详情页
A Polynomial-time Decomposition Algorithm for a Petri Net based on Indexes of Places
  • ISSN号：1812-5654
  • 期刊名称：Journal of Applied Sciences
  • 时间：0
  • 页码：4668-4673
  • 语言：中文
  • 相关项目：基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
作者： Qingtian Zeng|Hua Duan|Xiaowen Hu|Jun Zhu|
同期刊论文项目
基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
期刊论文 48 会议论文 6 获奖 4 著作 1
同项目期刊论文
Course ontology-based user';s knowledge requirement acquisition from behaviors within e-learning sys
一种基于同步合成构造Petri网进程表达式的方法
Modeling and analysis for workflow constrained by resources and nondetermined time: An approach base
Regular expression and standard properly end Petri net
Conflict detection and resolution for workflows constrained by resources and non-determined duration
Context-dependent learning strategy: Goal-driven learning method based on training process
Using a user-interactive QA system for personalized e-learning
Axiomatic definition and measure method of knowledge granularity in incomplete information system
概念格研究进展
A construction method for the process expression of petri net based on decomposition
A Construction method for the process expression of a Petri net based on synchronization composition
Semantic patterns for user-interactive question answering
Hierarchical knowledge representation method for mathematical concepts towards multi-purposes
服务于本体逻辑理论的本体定义
基于组件的空间信息管理系统及典型应用案例
整数环上的Farkas引理及其应用
正规表达式与恰当终结的标准Petri网
A user reputation model for a user-interactive question answering system
Behavior description for complex flexible manufacturing system based on decomposition of petri net
On dynamic description logic actions relationships with petri nets
自动问答系统研究综述
基于CPEBSDL通信协议的Petri网建模方法
正规表达式到无空标注Petri网的构造方法
基于Petri网进程的协议测试例生成方法及其实例
S-不变量求取的多项式算法
谓词/变迁系统对一阶谓词公式的建模
公平Petri网中同步距离计算的一个实现算法
同步及共享合成操作对Petri网汇合性质的保持性
库所耦合网的T-不变量求解算法
可达性与状态方程可满足性等价的两个Petri网子类
T-时延离散Petri网的运行原理及其性质
栈结构的增广Petri网模型
S-不变量极小支集判定的多项式算法
基于实数编码遗传算法的改进支持向量机
一种基于Web Services的数据库资源服务化方法
OWL-S服务操作语义的Petri网描述新方法
过程挖掘的研究现状与问题综述
基于B／S结构的农业空间信息管理系统设计与实现
基于本体的液压支架产品变型设计
不完备信息系统中知识粒度的公理化定义与度量方法
面向多用途的数学概念知识分层表示方法
一种基于Web Service的虚拟化目录服务
多角度认识本体工程中的本体
一种新的模糊概念格及其构造方法
离散型决策表的二分归纳属性约简算法
动态描述逻辑动作间关系的Petri网分析方法研究
模糊下近似算子的一个公理组