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 条
  • [31] A Petri net based software architecture for UAV simulation
    Xu, DX
    Borse, P
    Grigsby, K
    Nygard, KE
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 227 - 232
  • [32] A Petri-Net Based Approach for Software Evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, Brij Bhooshan
    2016 7TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2016, : 264 - 269
  • [33] Petri Net Based Software Testing Scheduling and Selecting
    Ding, Senke
    Xu, Peifu
    Wu, Weimin
    Yang, Yi
    Xing, Zichao
    Lu, Feihua
    Li, Cheng
    PROCEEDINGS OF THE 2017 IEEE 14TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2017), 2017, : 168 - 173
  • [34] A Petri net based approach for hardware/software partitioning
    Cruz, F
    Maciel, P
    Barros, E
    14TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2001, : 72 - 77
  • [35] An automated trust negotiation model based on improved coloured timed Petri net
    Yu, Dingguo
    Chen, Nan
    INTERNATIONAL JOURNAL OF SENSOR NETWORKS, 2014, 16 (02) : 61 - 69
  • [36] Software Engineering based on Object Management Petri Net
    Yang Jianhua
    COMPUTER AND INFORMATION TECHNOLOGY, 2014, 519-520 : 339 - 342
  • [37] Modeling Method of Ontology Web Service Interaction Based on Coloured Petri Net
    Su, Meng
    Gao, Jing
    2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 128 - 131
  • [38] A Study on Reliability of Manufacturing System Based on Petri Net
    蒋昌俊
    HighTechnologyLetters, 1995, (02) : 25 - 30
  • [39] Infusion monitoring communication model of smart home based on coloured Petri net
    Wang X.-L.
    Huang Q.-G.
    Wang, Xin-Liang (junci158@163.com), 2018, Institute of Biophysics and Biomedical Engineering (22) : 239 - 252
  • [40] Fault diagnosis model of electric power systems based on coloured Petri net
    Zeng, Qing-Feng
    He, Zheng-You
    Yang, Jian-Wei
    Dianli Xitong Baohu yu Kongzhi/Power System Protection and Control, 2010, 38 (14): : 5 - 11
12345