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 条
  • [21] A coloured petri net based solution for the generalized railway crossing problem
    Piotrowicz, M.
    Slusarczyk, K.
    Napieralski, A.
    MIXDES 2007: Proceedings of the 14th International Conference on Mixed Design of Integrated Circuits and Systems:, 2007, : 657 - 660
  • [22] A Coloured Petri Net based strategy for multi-agent scheduling
    Bai, Q
    Zhang, MJ
    Zhang, HJ
    RRS 2005: Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems, Proceedings, 2005, : 3 - 10
  • [23] Study for knowledge representation and acquisition based on fuzzy coloured Petri net
    Dong, Haiying
    Bai, Jianshe
    Zhou, Zhen
    Xue, Junyi
    Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2001, 35 (10): : 996 - 999
  • [24] EFFICIENT EXPLORATION OF COLOURED PETRI NET BASED SCHEDULING PROBLEM SOLUTIONS
    Music, Gasper
    23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 681 - 689
  • [25] Web-based interfaces for simulation of coloured petri net models
    Lindstrøm B.
    International Journal on Software Tools for Technology Transfer, 2001, 3 (04) : 405 - 416
  • [26] AIRPORT SURFACE MODELLING AND SIMULATION BASED ON TIMED COLOURED PETRI NET
    Su, Zhigang
    Qiu, Mengqi
    PROMET-TRAFFIC & TRANSPORTATION, 2019, 31 (05): : 479 - 490
  • [27] Early reliability assessment of component-based software system using colored petri net
    Hosseinzadeh-Mokarram, Amir
    Isazadeh, Ayaz
    Izadkhah, Habib
    TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2019, 27 (04) : 2681 - 2696
  • [28] Conjoint modelling with extended coloured Stochastic Petri net and reliability block diagram for system analysis
    Pozsgai, P
    Bertsche, B
    PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 1382 - 1387
  • [29] Coloured Petri net-based modeling for distributed relational database queries
    Chen, Pe-Te
    Chen, Yu-Tsai
    Yang, Chen-Chau
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2006, 29 (06) : 1029 - 1039
  • [30] DIAGNOSIS OF TECHNOLOGICAL SYSTEMS BASED ON THE STRUCTURAL DECOMPOSITION OF THEIR COLOURED PETRI NET MODEL
    Pozna, Anna I.
    Gerzson, Miklos
    Leitold, Adrien
    Hangos, Katalin M.
    HUNGARIAN JOURNAL OF INDUSTRY AND CHEMISTRY, 2016, 44 (02): : 121 - 128
12345