A High Reliability Design for NFS server software based on the Logical Coloured Petri Net

被引：0
|
作者：
Faculty of Engineering, Shinshu University, 4-17-1 Wakasato, Nagano-city, Nagano 380-8553, Japan [1 ]
机构：
来源：
Proc. Int. Conf. Control Autom. Rob. Vis. | 1600年 / 73-77期
关键词：
Compendex;
D O I：
Proceedings of the 7th International Conference on Control, Automation, Robotics and Vision, ICARC 2002
中图分类号：
学科分类号：
摘要：
Computer aided software engineering - Computer simulation - Computer software - Data reduction - Error analysis - File organization - Java programming language - Petri nets - Trees (mathematics)
引用
收藏
相关论文
共 50 条
  • [1] Automatic HDL generation for a DES codec for an encrypted NFS server based on an extended Petri net
    Yamaguchi, S
    Wasaki, K
    Shidama, Y
    Kawamoto, PN
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 61 - 66
  • [2] A new class of a high-level Petri net for modelling logical OR efficiently: coloured AND/OR Petri nets (CARPN)
    Salum, L
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2000, 38 (18) : 4671 - 4682
  • [3] FTP proxy server design based on Petri net description
    Fan, Xunli
    Jing, Guangjun
    Chen, Lijun
    Jisuanji Gongcheng/Computer Engineering, 2002, 28 (02):
  • [4] Software Architecture Modeling and Reliability Evaluation Based on Petri Net
    Zhang, Chi
    Ma, Yunyun
    Wang, Xiaohua
    Wang, Ruixue
    2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017, : 51 - 56
  • [5] Time Petri Net-Based Software Reliability Analysis
    Yang, Maoqiang
    INTELLIGENCE COMPUTATION AND EVOLUTIONARY COMPUTATION, 2013, 180 : 231 - 235
  • [6] Operators for Analyzing Software Reliability with Petri net
    Yu Ruiqiang
    Huang Zhiqiu
    ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 358 - 361
  • [7] A Petri-Net Based Reliability Prediction Method for SOA Software
    Zhang, Hao
    Lu, Minyan
    Gu, Tingyang
    ICAIP 2018: 2018 THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN IMAGE PROCESSING, 2018, : 165 - 172
  • [8] The Design of Software Parallel Engineering Model Based on Petri Net
    Sun, Yuqiang
    Xie, Shiyan
    Gu, Yuwan
    Shi, Haifeng
    NEW TRENDS AND APPLICATIONS OF COMPUTER-AIDED MATERIAL AND ENGINEERING, 2011, 186 : 317 - 321
  • [9] RESEARCH ON WORKFLOW MODELING BASED ON COLOURED PETRI NET
    Zhang Liang
    Yao Jiayi
    Zhang Yingrui
    ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1, 2011, : 423 - 426
  • [10] A Petri Net Software for Mission Reliability Evaluation of PMS
    Yu, Haiyue
    Wu, Xiaoyue
    2015 27TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2015, : 6040 - 6044
12345