OBJECT MODEL SYNCHRONIZATION BASED ON PETRI NET

被引：0
|
作者：
Zacek, Jaroslav [1 ]
Hunka, Frantisek [1 ]
机构：
[1] Univ Ostrava, Dept Comp Sci, CZ-70103 Ostrava, Czech Republic
来源：
MENDEL 2011 - 17TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING | 2011年
关键词：
Object-oriented paradigm; Petri net; concurrent programming; model synchronization;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In an object-oriented model interactions between objects are realized in a parallel environment. Parallelism makes computation optimized for multi-processor computers and reduces processing time. If we implement a parallelism to an object-oriented model a new synchronization problems for that model occurs. This paper introduces an extended definition of Petri net for object-oriented model synchronization. According to new definition a basic properties must be discussed. Properties of extended Petri net mechanism for model synchronization are based on ordinary Petri net properties.
引用
收藏
页码：523 / 527
页数：5
相关论文
共 50 条
  • [1] A Multimedia Synchronization Model Based on Timed Petri Net
    梁永全
    史忠植
    [J]. Journal of Computer Science & Technology, 1999, (03) : 276 - 282
  • [2] Multimedia synchronization model based on timed Petri net
    Liang Y.
    Shi Z.
    [J]. Journal of Computer Science and Technology, 1999, 14 (3) : 276 - 282
  • [3] An object based Petri net model: Application to manufacturing systems
    Serey, DDG
    Fernandes, JP
    Perkusich, A
    deFigueiredo, JCA
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2735 - 2740
  • [4] A Petri Net Based Model for Multipoint Multistream Synchronization in Multimedia Conferencing
    Pal, Koninika
    Upadhyay, Prajna Devi
    Datta, Animesh
    [J]. SECURITY-ENRICHED URBAN COMPUTING AND SMART GRID, 2011, 223 : 64 - 73
  • [5] The distributed interactive multimedia synchronization model based on the temporal Petri net
    Lu, F
    Guo, YL
    [J]. DCABES 2004, Proceedings, Vols, 1 and 2, 2004, : 216 - 220
  • [6] TASK SYNCHRONIZATION PROCESS BASED ON PETRI NET
    Zhou, Shuang'E
    Xiong, Guoping
    [J]. INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2011, 17 (06): : 713 - 724
  • [7] Petri-net model of multimedia synchronization in mobile environment
    Lee, KW
    Lee, JH
    Oh, HS
    [J]. COMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS, 2003, 2660 : 566 - 575
  • [8] MapReduce rationality verification based on object Petri net
    DING Zeliu
    GUO Deke
    CHEN Xi
    CHEN Jin
    [J]. Journal of Systems Engineering and Electronics, 2019, 30 (05) : 861 - 874
  • [9] MapReduce rationality verification based on object Petri net
    Ding Zeliu
    Guo Deke
    Chen Xi
    Chen Jin
    [J]. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2019, 30 (05) : 861 - 874
  • [10] Software Engineering based on Object Management Petri Net
    Yang Jianhua
    [J]. COMPUTER AND INFORMATION TECHNOLOGY, 2014, 519-520 : 339 - 342
12345