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 条
  • [1] Improved Design of Concurrent Synchronization System Controller Based on Petri Net
    Yang, Xu
    Guo, Shaocui
    Xiang, Dongming
    Yang, Yuxin
    Chen, Yijun
    JOURNAL OF WEB ENGINEERING, 2023, 22 (07): : 961 - 981
  • [2] A concurrent visual language based on Petri nets
    Usher, M
    Jackson, D
    1998 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1998, : 72 - 73
  • [3] Consistency algorithm based on Petri net for concurrent design
    Chen, M
    Yin, YX
    Tu, XY
    CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 1067 - 1070
  • [4] A Petri net based visual programming language
    Usher, M
    Jackson, D
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 107 - 112
  • [5] PETRI NET DEFINITION OF A SYSTEM DESCRIPTION LANGUAGE.
    Jensen, Kurt
    Kyng, Morten
    Madsen, Ole Lehrmann
    Instrument Maintenance Management, 1979, 70 : 348 - 368
  • [6] A systematic approach to the Petri net based specification of concurrent systems
    Mazzeo, A
    Mazzocca, N
    Russo, S
    Vittorini, V
    REAL-TIME SYSTEMS, 1997, 13 (03) : 219 - 236
  • [7] A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
    Antonino Mazzeo
    Nicola Mazzocca
    Stefano Russo
    Valeria Vittorini
    Real-Time Systems, 1997, 13 : 219 - 236
  • [8] Analysis of the concurrent model of train station based on Petri net
    Tang, L
    Chen, TL
    Xiao, J
    2000 INTERNATIONAL WORKSHOP ON AUTONOMOUS DECENTRALIZED SYSTEM, PROCEEDINGS, 2000, : 92 - 96
  • [9] A PETRI NET BASED COMPILER FOR THE PROTOTYPING LANGUAGE RELOS
    GRUHN, V
    HALLMANN, M
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 471 - 482
  • [10] An Implementation of Petri Net Based on Graphical Programming Language
    Du Tianyan
    Zhao Dean
    Huang Li
    FUNCTIONAL MANUFACTURING TECHNOLOGIES AND CEEUSRO II, 2011, 464 : 327 - 331
12345