位置：成果数据库 > 期刊 > 期刊详情页
正规表达式到无空标注Petri网的构造方法
  • ISSN号：1004-731X
  • 期刊名称：《系统仿真学报》
  • 时间：0
  • 分类：TP301.1[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]山东农业大学信息科学与工程学院
  • 相关基金：国家自然科学基金重大研究计划(90718011),国家自然科学基金(60673053,60603090)
作者： 束德勤[1], 范昊[1]
关键词： 恰当终结的标准Petri网, PETRI网, 正规语言, 正规表达式, 语言
中文摘要：

已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子"//"的正规表达式到恰当终结的标准Petri网(无ε-空标注)的转换算法。

同期刊论文项目
多方计算的安全保障机制和可信性检测与评价的关键技术研究
期刊论文 46 会议论文 14 获奖 14
唯一可达向量网系统的性质及其在信息安全技术上的应用研究
期刊论文 64 会议论文 16
基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
期刊论文 48 会议论文 6 获奖 4 著作 1
同项目期刊论文
Personalized knowledge acquisition through interactive data analysis in E-learning system
Modeling and Analysis for Workflow Constrained by Resource and Non-determined Time: An Approach Base
分布式视频编码虚拟依赖信道模型研究
An Incremental Learning Algorithm for Lagrangian Support Vector Machines
Course Ontology-based User's Knowledge Requirement Acquisition from Behaviors within E-Learning Syst
Conflict Detection and Resolution for Workflow Constrained by Resources and Non-determined Duration
Petri网语言表达式及其求解算法
基于扩展颜色Petri网的拍卖协议建模与分析
C/E网系统中交叠式序列的计数
可伸缩视频编码的码率控制技术研究
VBE中基于迁移工作流的VO过程研究
Web Information Extraction for Question and Answering System about Prices of Chinese Agricultural Pr
Cross-Organization Task Coordination Patterns of Urban Emergency Response Systems
A unified model for Privacy-Preserving Support Vector Machines on horizontally and vertically partit
Advances in ME/MC for Wavelet-based Scalable Video Codec
一种基于同步合成构造Petri网进程表达式的方法
基于变迁指标分解的Petri网性质分析
上下文无关语言的可重复序列及其性质
正规语言闭包运算的Petri网构造方法
A Component-based Management Platform for Multi-source Spatial Data
Development of an Agricultural Spatial Information Sharing Platform for Supporting User Personalizat
基于库所指标分解的Petri网结构性质分析
通用的个性化自动谈判服务框架及其实现
Mining Personalized User Profile Based on Interesting Points and Interesting Vectors
Recognition Algorithm Design and Complex Analysis for Languages of S-Nets.
The Estimation of Trustworthy of Grid Services Based on Neural Network
Auto-construction for Knowledge Inheritance Hierarchy of Concepts within NKIMath
Process-Mining-Based Workflow Model Fragmentation for Distributed Execution
Classification and evaluation of timed running schemas for workflow based on process mining
A Polynomial-time Decomposition Algorithm for a Petri Net based on Indexes of Transitions
电子商务系统信任管理研究综述
正规表达式与恰当终结的标准Petri网
Cryptanalysis of Hwang et al.＇s Improved Encryption Scheme
语言表达式到Petri网模型的转化及其算法
基于Petri网进程的协议测试例生成方法及其实例
安全有效的代理可验证加密签名方案
Petri网与二元文法的语言等价性
高效的具有指定验证者的签名方案
对一个改进的指定验证者代理签名方案的攻击
Set （ k, n ）-Exactly covering problem
基于时延Petri网的交通信号配时方案建模与分析
基于混合Petri网的城市交通网络建模与仿真
几种满足汇合性质的Petri网子类
A live subclass of petri nets and their application in modeling flexible manufacturing systems
上下文无关语言的可重复序列及其性质
正规语言闭包运算的Petri网构造方法
Set (k,n)—exactly covering problem
Forgery attacks on Wang’s signature schemes based on factoring and discrete algorithm
三划分问题可多项式归约为唯一可达向量Petri网可达性问题
一种前向安全的代理多重签名方案
主体计划的Petri网方法及正确性验证
标识T-网中同步距离的计算
Petri网的空标识及相关性质研究
Petri网本原可重复向量的求解算法及实现
公平消息传递并行程序设计的Petri网方法
推导可交换上下文无关语言
Security and improvement of chang et al.’s Signature scheme without using one-way hash function
整数环上的Farkas引理及其应用
上下文无关Petri网语言的Pumping引理
Petri网的状态转换图
Petri网替换运算的不变量保持条件
变迁耦合网的T-不变量求解算法
正规表达式与恰当终结的标准Petri网
求网的S-不变量的一种图算法
项链T-图和完全T-图中活的和安全的标识类个数的证明
通信协议的实体行为描述语言CPEBSDL
并行程序Petri网模型的结构性质
柔性制造系统Petri网模型中的两类特殊资源
Cryptanalysis of Hwang et al.＇s Improved Encryption Scheme
语言表达式到Petri网模型的转化及其算法
基于Petri网进程的协议测试例生成方法及其实例
Petri网与二元文法的语言等价性
Set （ k, n ）-Exactly covering problem
基于T-不变量的可重复向量的求解算法
S-组合Petri网的进程特性分析
自动制造系统Petri网模型SPN的化简
S 3PR网多项式时间复杂度的化简算法
S-不变量求取的多项式算法
Petri网有界性和公平性关系的进一步研究
Petri网的流分解
基于时间Petri网的工作流用户管理系统的建模及分析
谓词/变迁系统对一阶谓词公式的建模
公平Petri网中同步距离计算的一个实现算法
同步及共享合成操作对Petri网汇合性质的保持性
改进的哲学家进餐问题无饥饿解的Petri网模型
库所耦合网的T-不变量求解算法
可达性与状态方程可满足性等价的两个Petri网子类
T-时延离散Petri网的运行原理及其性质
栈结构的增广Petri网模型
基于语言等价的Petri网化简
一种基于Petri网的序列密码加密方案
袋自动机
自动制造系统Petri网模型的资源变迁网性质分析
有界Petri网等价性的判定算法
Petri网系统的公平性判定
柔性制造系统Petri网模型中的一类共享资源
Petri网系统中的有效本原可重复向量集
S-不变量极小支集判定的多项式算法
自动制造系统Petri网模型中的分叉操作库所
自动制造系统Petri网模型中的非完美变迁
Forgery Attacks on Wang＇s Signature Schemes Based on Factoring and Discrete Logarithm
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
服务于本体逻辑理论的本体定义
基于组件的空间信息管理系统及典型应用案例
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网进程的协议测试例生成方法及其实例
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