位置：成果数据库 > 期刊 > 期刊详情页
基于Petri网的容错系统分层建模
  • ISSN号：1000-3428
  • 期刊名称：计算机工程
  • 时间：0
  • 页码：39-41
  • 语言：中文
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]山东科技大学信息科学与工程学院,青岛266510, [2]中国科学院计算机科学国家重点实验室,北京100080
  • 相关基金：国家自然科学基金资助项目（60773034 90818023 60803032）; 山东省科技发展计划基金资助项目（2008GG30001024）; 山东科技大学2009-2010年度研究生创新基金资助项目（YCA090319）
  • 相关项目：逻辑Petri网理论及其合成运算性质研究
作者： 杜玉越|刘伟|周月明|
关键词： PETRI网, 容错, 分层建模, 检错, Petri nets, fault-tolerance, layer modeling, error detection
中文摘要：

扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。

英文摘要：

This paper extends the structure of Petri nets. The generic controlling and managing system is improved into fault tolerance one. The system is layer modeled with Petri nets,which are basic layer,error detection layer and recover layer. Fault-tolerance is added into the system with recover fault policy and behavior tracking with state logos Petri-based layered modeling,error detection for software behavior and recovers the error. And correctness of this system is analyzed.

同期刊论文项目
Petri网系统的子系统相关性研究
期刊论文 23 会议论文 4 专利 2
基于行为认证的电子银行可信软件验证试验环境研究
期刊论文 52 会议论文 10 获奖 4
逻辑Petri网理论及其合成运算性质研究
期刊论文 41 会议论文 5 获奖 4
同项目期刊论文
Upper bounds on lifetime of ordinary clustering ultra wide band sensor networks
An incremental method for mining generalized association rules based on extended canonical-order tre
Method for computing minimal siphons in Petri Nets and the performance analysis
Research on Web service selection based on cooperative evolution
A vector matching method for analysing logic Petri nets
Automatic Web service composition based on Horn clauses and Petri nets
基于频繁闭情节及其生成子的无冗余情节规则抽取
Adaptive model for Web image semantic automatic annotation
Multicast throughput for large scale cognitive networks
Progressive ranking and composition of web services with interaction relationship
Dynamic web service selection based on discrete particle swarm optimization
Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs
A necessary and sufficient condition for the liveness of normal nets
Interactive Web service composition based on Petri net
Improved sufficient condition for the controllability of dependent siphons in system of simple seque
XML流管理研究综述
A fast adaptive load balancing method for parallel particle-based simulations
Petri网极小虹吸的计算方法与性能分析
一种基于领域本体的最优Web服务组合方法
A survey of XML stream management
基于离散微粒群算法的动态Web服务选择
Design and Implementation of a Web Service based Public-oriented Personalized Health Care Platform
Effective image auto-annotation via discriminative hyperplane tree based generative model
Automatic Web services composition algorithm based on optimal matching
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
基于程序Petri网的新型软件开发方法研究
大规模分簇超宽带传感网的生存期渐近界
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement
Process nets with channels
逻辑Petri网变迁使能的判定方法
常规分簇的超宽带传感网生存期的上界
一种高效的多层和概化关联规则挖掘方法
A Biometric-Based User Authentication for Wireless Sensor Networks
Extended and improved slicing technologies for Petri nets
基于可判别超平面树的生成模型图像标注方法
一种自适应的Web图像语义自动标注方法
一种基于领域本体的最优Web服务组合方法
基于一致分布的时间Petri网模型
基于离散微粒群算法的动态Web服务选择
Automated Web Service Composition Supporting Conditional Branch Structures
混合语义时间Petri网模型
An algorithm for generating home states of Petri nets
Reliable web services selection based on finite state machine model
Indeterminacy-aware service selection for reliable service composition
Automatic Web services composition algorithm based on optimal matching
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
基于程序Petri网的新型软件开发方法研究
Modeling multimedia synchronization using petri nets
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
A process generation approach of dynamic workflows based description logics
Soundness analysis of t-restricted interorganizational logical workflow nets
Modeling and design for dynamic workflows based on flexible activities
逻辑Petri网变迁使能的判定方法
模型机控制并行口的设计与实现
一种基于场景的需求驱动构件服务聚集方法
基于OFBiz与J2EE的水利水电应用系统的设计
一种基于领域本体的最优Web服务组合方法
基于工作流网的电子商务平台建模技术研究
A routing-based dynamic workflow
A fast algorithm for web service composition based on dynamic description logic
基于AHP的企业绩效网络考核系统设计
A Vector Matching Method for Analyzing Logic Petri Nets
应用三个移动锚节点的非测距定位方法
基于Petri网的协同工作流建模与分析
基于MDA和可执行形式化的可信软件设计
Modeling and monitoring of E-commerce workflows
改进的最小割集生成算法与联锁系统模型的安全性测试
Petri网在电子商务分析中的应用
基于逻辑Petri网的图书馆借阅系统的建模与分析
Logic Petri nets and equivalency
基于程序Petri网的新型软件开发方法研究
公平消息传递并行程序设计的Petri网方法
Soundness analysis of inter-organizational workflows
A formal approach for obligation analysis of E-commerce
Analysis and verification of dynamic stock trading systems
一种基于网格的电子商务模式
物流配送系统的 Petri网 模型与分析
Petri net methods of constructing kleene-closure operations of regular languages
On the design and temporal petri net verification of grid commerce architecture
Modeling non-repudiation in distributed systems
逻辑Petri网变迁使能的判定方法
应用Petri网求解事故树最小割集的方法研究
基于Agent的客户服务系统模型
期刊信息
  • 《计算机工程》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华东计算技术研究所 上海市计算机学会
  • 主编：游小明
  • 地址：上海市桂林路418号
  • 邮编：200233
  • 邮箱：ecice06@ecict.com.cn
  • 电话：021-64846769
  • 国际标准刊号：ISSN：1000-3428
  • 国内统一刊号：ISSN：31-1289/TP
  • 邮发代号:4-310
  • 获奖情况:
  • 1999～2000、2001～2002年度信息产业部优秀期刊奖,2003-2004、2005-2006年度信息产业部电子精品科技...,2007-2008、2009-2010年度工业和信息产业部电子精...,012年度中国科技论文在线优秀期刊一等奖,2013年度中国科技论文在线优秀期刊二等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,波兰哥白尼索引,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:84139