位置：成果数据库 > 期刊 > 期刊详情页
Regular expression and standard properly end Petri net
  • ISSN号：1004-731X
  • 期刊名称：系统仿真学报
  • 时间：0
  • 页码：5655-5660
  • 语言：中文
  • 相关项目：基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
作者： Lian, Wen-Juan|Fan, Hao|Liang, Yong-Quan|Zeng, Qing-Tian|
同期刊论文项目
基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
期刊论文 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
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
服务于本体逻辑理论的本体定义
基于组件的空间信息管理系统及典型应用案例
A Polynomial-time Decomposition Algorithm for a Petri Net based on Indexes of Places
整数环上的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网分析方法研究
模糊下近似算子的一个公理组
期刊信息
  • 《系统仿真学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国航天科工集团公司
  • 主办单位:北京仿真中心 中国仿真学会
  • 主编：李伯虎
  • 地址：北京市海淀区永定路50号院
  • 邮编：100039
  • 邮箱：simu-xb@vip.sina.com
  • 电话：010-88527147
  • 国际标准刊号：ISSN：1004-731X
  • 国内统一刊号：ISSN：11-3092/V
  • 邮发代号:82-9
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:51729