吴振寰
- 作品数：12 被引量：18H指数：3
- 供职机构：山东科技大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 基于面向对象Petri网的组织间工作流建模被引量：4
- 2014年
- 工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模。得到单个对象和系统整体的面向对象Petri网模型,然后在此基础上进行系统结构活性和有界性分析。通过针对实际问题的建模验证,阐明了该规则的有效性和实用性。
- 杨磊吴哲辉吴振寰
- 关键词：工作流PETRI网面向对象死锁
- Petri网的流分解
- Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不...
- 吴振寰高莹吴哲辉
- 关键词：PETRI网动态性质
- 文献传递
- 一种基于Petri网的分组密码体制的实现
- 本文对基于唯一可达向量无界Petri网的分组密码体制的实现方法进行了研究。这是一种分组长度k可变的加密方法，通过Petri网的运行得到的2~k元置换来确定长度为k的分组密码。
文中提出了整数变...
- 吴振寰
- 文献传递
- C/E网系统中交叠式序列的计数
- 2010年
- 在CCS中,Milner把系统中的两个事件处于并发定义为"它们可以按任意顺序发生"。这个关于并发的定义被称之为"交叠式并发"。然而在网论中,Petri把并发定义为"非序",并指出并发是冲突的精确对偶。Petri关于并发的定义被公认为"真并发"。为了研究这两种并发概念的联系和差异,以C/E系统为模型,分别从这两种不同定义的视角出发,讨论了并发的表现和实质,并对网系统中存在的不同并发组合情况给出了求交叠式序列(根据交叠式并发概念而得出)个数的一组计算公式。
- 吴振寰高莹吴哲辉
- 关键词：并发
- Petri网的流分解
- 2008年
- Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推知流分解运算对Petri网的各种动态性质和结构性质也有良好的保持性。
- 吴振寰高莹吴哲辉
- 关键词：PETRI网动态性质
- 一种基于Petri网的序列密码加密方案被引量：1
- 2007年
- 提出了一种基于Petri网的序列密码加密方案。这种方案的基本要领是用唯一可达向量无界Petri网来产生密钥序列。产生密钥序列的计算量是明文长度的线性函数。这样产生的密钥序列是没有周期性的,也不会出现大的游程。只要每次加密时选用不同的初始标识,这种密码系统是一次一密的。由于初始标识可以以赋值的形式同密文一起传送,密钥传送十分方便。
- 吴振寰吴哲辉
- 关键词：序列密码PETRI网一次一密
- 一种基于Petri网的序列密码加密方案
- 提出了—种基于Petri网的序列密码加密方案.这种方案的基本要领是用唯一可达向量无界Petri网来产生密钥序列.产生密钥序列的计算量是明文长度的线性函数.这样产生的密钥序列是没有周期性的,也不会出现大的游程.只要每次加密...
- 吴振寰吴哲辉
- 关键词：PETRI网加密方案
- 文献传递
- Petri网关联矩阵与PNML描述之间的转换被引量：5
- 2006年
- PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径。文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOMAPI解析PNML文件及实现转换过程的技术细节。
- 吴振寰王鹏伟
- 关键词：PNMLPETRI网关联矩阵XMLDOM
- 一种基于Petri网的分组密码算法的硬件实现方法
- 一种基于petri网的分组密码算法的硬件实现，属于密码算法硬件实现领域。本发明的技术方案是：(1)硬件实现petri网运行，单时钟周期并行计算得到指定某petri网标识的所有下一级可达标识，去除重复标识后加入系统可达标识...
- 张德学沈国新焦汉明吴振寰罗虎陈新华
- Petri网的空标识及相关性质研究
- 2007年
- 在一个网系统中,如果每个库所中的标志数都等于0,则说这个网系统中的标识是一个空标识。文[1]通过例子指出空标识可以是一个网系统的初始标识,也可以是具有非空初始标识的网系统的一个可达标识。文[2]讨论了空标识的再现性。本文给出了空标识在网系统运行过程中重复出现的一个例子,并对上述3种情况的实际背景以及相关的网结构性质进行了讨论。
- 吴振寰于枫吴哲辉
- 关键词：PETRI网活性可达性
