On properties of concurrent system based on Petri net language

被引：0
|
作者：
Jiang, Chang-Jun [1 ]
Lu, Wei-Ming [1 ]
机构：
[1] Dept. of Comp. Sci. and Eng., Tongji Univ., Shandong Inst. of Sci. and Technol., Shanghai 200092, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2001年 / 12卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Concurrency control
引用
收藏
页码：512 / 520
相关论文
共 50 条
  • [31] Pumping lemma of Petri net language
    Jiang, Chang-Jun
    Liu, Guan-Jun
    Jisuanji Xuebao/Chinese Journal of Computers, 2006, 29 (02): : 274 - 278
  • [32] Process net system of Petri net
    Zeng, Qing-Tian
    Wu, Zhe-Hui
    Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (12): : 1308 - 1315
  • [33] Object-oriented Petri net based method for the concurrent program modeling
    Ren, Aihua
    Niu, Jinzhong
    Zhang, Yongming
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 1998, 24 (04): : 491 - 494
  • [34] A Petri-Net based modeling approach to concurrent software engineering tasks
    Shen, JJ
    Changchien, SW
    Lin, TY
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2005, 21 (04) : 767 - 795
  • [35] Concurrent Hierarchical Model and Analysis Based on Fuzzy-timing Petri Net
    Liu, Yongshan
    Hao, Tianbao
    Shen, Yanqing
    NEW TRENDS AND APPLICATIONS OF COMPUTER-AIDED MATERIAL AND ENGINEERING, 2011, 186 : 640 - 644
  • [36] A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System
    Wojnakowski, Marcin
    Wisniewski, Remigiusz
    Poplawski, Mateusz
    EURO-PAR 2023: PARALLEL PROCESSING WORKSHOPS, PT II, EURO-PAR 2023, 2024, 14352 : 277 - 283
  • [37] Modelling a complex system based on the hybrid Petri net
    Cao, Z. B.
    Xue, P.
    Wang, B.
    Zhang, M.
    INFORMATION SCIENCE AND ELECTRONIC ENGINEERING, 2017, : 281 - 285
  • [38] System development using Petri net based modules
    Costa, Aniko
    Gomes, Luis
    2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
  • [39] On expert database system based on fuzzy Petri net
    Northwestern Polytechnical Univ, Xi'an, China
    Xibei Gongye Daxue Xuebao, 3 (448-453):
  • [40] A virtual assembly system based on Petri Net technology
    Su Xiaodong
    Peng Gaoliang
    2006 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1-6, 2006, : 1404 - +
12345