Analyzing dynamic voting using Petri nets

被引：26
|
作者：
Chen, IR [1 ]
Wang, DC [1 ]
机构：
[1] NATL CHENG KUNG UNIV,INST INFORMAT ENGN,TAINAN 70101,TAIWAN
来源：
15TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS | 1996年
关键词：
replicated data; dynamic voting; availability; replica control; null updates; distributed systems; Petri nets;
D O I：
10.1109/RELDIS.1996.559695
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：44 / 53
页数：10
相关论文
共 50 条
  • [1] Visualizing and Analyzing Dynamic Business Process using Petri Nets
    Fadahunsi, Odunayo
    Sathiyanarayanan, Mithileysh
    [J]. PROCEEDINGS OF THE 2016 2ND INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING AND INFORMATICS (IC3I), 2016, : 79 - 84
  • [2] Specifying and Analyzing Strategies using Petri Nets
    Passier, Harrie
    [J]. 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2, 2008, : 270 - 280
  • [3] Analyzing realizability of choreographies using Petri nets
    Huang, Bi
    Dai, Fei
    Wang, Yabo
    Mo, Qi
    Cao, Yong
    Wang, Leiguang
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2020, 26 (06): : 1548 - 1556
  • [4] Analyzing Services Composition Using Petri Nets
    Xu, Jiajun
    Yao, Shuzhen
    [J]. PROCEEDINGS OF INTERNATIONAL CONFERENCE ON SOFT COMPUTING TECHNIQUES AND ENGINEERING APPLICATION, ICSCTEA 2013, 2014, 250 : 443 - 450
  • [5] An automated tool for analyzing Petri nets using Spin
    Gannod, GC
    Gupta, S
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 404 - 407
  • [6] Elevator dynamic simulation using Petri nets
    [J]. Chang, K.-M. (koming@cc.nkit.edu.tw), 2001, Gordon and Breach Science Publishers Inc. (40):
  • [7] Analyzing attack trees using generalized stochastic Petri nets
    Dalton, George C., II
    Mills, Robert F.
    Colombi, John M.
    Raines, Richard A.
    [J]. 2006 IEEE INFORMATION ASSURANCE WORKSHOP, 2006, : 116 - +
  • [8] MODELING AND ANALYZING THE METABOLISM OF RIBOFLAVIN PRODUCTION USING PETRI NETS
    Ding, D. -W.
    Li, L. N.
    [J]. JOURNAL OF BIOLOGICAL SYSTEMS, 2009, 17 (03) : 479 - 490
  • [9] ANALYZING SAFETY AND FAULT TOLERANCE USING TIME PETRI NETS
    LEVESON, NG
    STOLZY, JL
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 339 - 355
  • [10] Analyzing Web Service Choreography Specifications Using Colored Petri Nets
    Caliz, Enrique
    Umapathy, Karthikeyan
    Sanchez-Ruiz, Arturo J.
    Elfayoumy, Sherif A.
    [J]. SERVICE-ORIENTED PERSPECTIVES IN DESIGN SCIENCE RESEARCH: 6TH INTERNATIONAL CONFERENCE, 2011, 6629 : 412 - 426
12345