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 条
  • [21] Iconic programming system based on Petri net
    Jisuanji Xuebao, 7 (656-661):
  • [22] SEQUENTIAL AND CONCURRENT BEHAVIOR IN PETRI NET THEORY
    BEST, E
    DEVILLERS, R
    THEORETICAL COMPUTER SCIENCE, 1987, 55 (01) : 87 - 136
  • [23] PETRI NET BASED PROGRAMMING SYSTEM FOR FMS
    NAGAO, Y
    OHTA, H
    URABE, H
    KUMAGAI, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (10) : 1326 - 1334
  • [24] A concurrent and compositional Petri net semantics of preemption
    Klaudel, H
    Pommereau, F
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 318 - 337
  • [25] PETRI NET MODELS OF CONCURRENT ADA PROGRAMS
    STANSIFER, R
    MARINESCU, D
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 577 - 594
  • [26] Evolving Concurrent Petri Net Models of Epistasis
    Mayo, Michael
    Beretta, Lorenzo
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS, PT II, PROCEEDINGS, 2010, 5991 : 166 - +
  • [27] Diagnosability for discrete event systems based on Petri net language
    Xue, F
    Zheng, DZ
    2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 2004, : 2111 - 2116
  • [28] A Petri net-based visual language for specifying GUIs
    Li, XS
    Mugridge, WB
    Hosking, JG
    1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 50 - 57
  • [29] A modeling language for Petri net based factory automation systems
    Nakamura, D
    Takeda, Y
    Murakoshi, H
    Funakubo, N
    Dohi, Y
    IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 120 - 125
  • [30] SynchNet: A Petri net based coordination language for distributed objects
    Ziaei, R
    Agha, G
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, 2003, 2830 : 324 - 343
12345