位置：成果数据库 > 期刊 > 期刊详情页
一种基于同步合成构造Petri网进程表达式的方法
  • 期刊名称：计算机学报，2008,?31?(3):?381-390. (EI索引:081611206962)
  • 时间：0
  • 分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]山东科技大学信息科学与工程学院,山东青岛266510
  • 相关基金：本课题得到国家自然科学基金（60603090,90718011）、山东省“泰山学者”专项基金和山东省优秀中青年科学家奖励基金（2006BS01019）资助.
  • 相关项目：多方计算的安全保障机制和可信性检测与评价的关键技术研究
关键词： PETRI网, S-网, 同步合成, 同步混排, 进程, 进程表达式, Petri net, S-Net, synchronization composition, synchronization shuffle, process, process expression
中文摘要：

Petri网的进程是用于系统行为和状态描述的有效工具，Petri网的进程表达式可以给出系统全部进程的描述，但是对于任意无界Petri网而言求取其进程表达式十分困难．文中首先考察结构简单的S-网的进程行为，给出各种类型的S-网的进程表达式的描述方法．然后拓展了Petri网同步合成的概念，分析了同步合成过程中基本进程段集之间的关系，并利用同步混排给出了进程表达式之间的关系．随后证明了一个Petri网可以通过一组S-网同步合成得到，利用S-网的进程表达式给出了构造Petri网的进程表达式的方法．

英文摘要：

Process is one of the most useful tools for property analysis of a Petri net, however it is usually difficult to present all the processes of a structure-complex Petri net. Process expression can be used to define the set of all processes for a Petri net. A construction method for the process expression of a Petri net is proposed based on synchronization composition in this paper. The process characteristics of S-Net, a kind of structure-simple Petri net, are analyzed firstly with details, and the approaches to obtain the process expressions of all kinds of S-Nets are presented. Then, the relationship between the sets of the basic process section during the synchronization composition is analyzed, and the relationship between process expressions is expressed by synchronization shuffle operation of processes. It is proved that a Petri net can be constructed by the synchronization composition of a set of S-Nets, and the process expression of the original Petri net can be obtained based on the process expressions of these S-Nets.

同期刊论文项目
多方计算的安全保障机制和可信性检测与评价的关键技术研究
期刊论文 46 会议论文 14 获奖 14
基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
期刊论文 48 会议论文 6 获奖 4 著作 1
同项目期刊论文
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网构造方法
A Component-based Management Platform for Multi-source Spatial Data
Development of an Agricultural Spatial Information Sharing Platform for Supporting User Personalizat
基于库所指标分解的Petri网结构性质分析
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网进程的协议测试例生成方法及其实例
安全有效的代理可验证加密签名方案
Course ontology-based user';s knowledge requirement acquisition from behaviors within e-learning sys
基于组件的空间信息管理系统及典型应用案例
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网汇合性质的保持性
库所耦合网的T-不变量求解算法
可达性与状态方程可满足性等价的两个Petri网子类
T-时延离散Petri网的运行原理及其性质
基于实数编码遗传算法的改进支持向量机
一种基于Web Services的数据库资源服务化方法
OWL-S服务操作语义的Petri网描述新方法
过程挖掘的研究现状与问题综述
基于B／S结构的农业空间信息管理系统设计与实现
基于本体的液压支架产品变型设计
不完备信息系统中知识粒度的公理化定义与度量方法
面向多用途的数学概念知识分层表示方法
一种基于Web Service的虚拟化目录服务
多角度认识本体工程中的本体
一种新的模糊概念格及其构造方法
离散型决策表的二分归纳属性约简算法
语言表达式到Petri网模型的转化及其算法
Recognition Algorithm Design and Complex Analysis for Languages of S-Nets.
Mining Personalized User Profile Based on Interesting Points and Interesting Vectors
通用的个性化自动谈判服务框架及其实现
上下文无关语言的可重复序列及其性质
C/E网系统中交叠式序列的计数
基于扩展颜色Petri网的拍卖协议建模与分析
Petri网语言表达式及其求解算法
Conflict Detection and Resolution for Workflow Constrained by Resources and Non-determined Duration
Course Ontology-based User's Knowledge Requirement Acquisition from Behaviors within E-Learning Syst
An Incremental Learning Algorithm for Lagrangian Support Vector Machines
分布式视频编码虚拟依赖信道模型研究
Modeling and Analysis for Workflow Constrained by Resource and Non-determined Time: An Approach Base
Personalized knowledge acquisition through interactive data analysis in E-learning system
模糊下近似算子的一个公理组
动态描述逻辑动作间关系的Petri网分析方法研究
S-不变量极小支集判定的多项式算法
栈结构的增广Petri网模型
公平Petri网中同步距离计算的一个实现算法
服务于本体逻辑理论的本体定义
Hierarchical knowledge representation method for mathematical concepts towards multi-purposes
Semantic patterns for user-interactive question answering
A Construction method for the process expression of a Petri net based on synchronization composition
A construction method for the process expression of petri net based on decomposition
概念格研究进展
Axiomatic definition and measure method of knowledge granularity in incomplete information system
Using a user-interactive QA system for personalized e-learning
Context-dependent learning strategy: Goal-driven learning method based on training process
Conflict detection and resolution for workflows constrained by resources and non-determined duration
Regular expression and standard properly end Petri net
Modeling and analysis for workflow constrained by resources and nondetermined time: An approach base
Set （ k, n ）-Exactly covering problem
对一个改进的指定验证者代理签名方案的攻击
高效的具有指定验证者的签名方案
Petri网与二元文法的语言等价性
可伸缩视频编码的码率控制技术研究