Pumping lemma of Petri net language

被引：0
|
作者：
Jiang, Chang-Jun [1 ]
Liu, Guan-Jun [2 ]
机构：
[1] Department of Computer, Tongji University, Shanghai 200092, China
[2] College of Information, Shandong University of Science and Technology, Qingdao 266510, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2006年 / 29卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：274 / 278
相关论文
共 50 条
  • [1] The Petri Net Markup Language
    Weber, M
    Kindler, E
    PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS, 2003, 2472 : 124 - 144
  • [2] UNSOLVABILITY OF SOME PETRI NET LANGUAGE PROBLEMS
    GRABOWSKI, J
    INFORMATION PROCESSING LETTERS, 1979, 9 (02) : 60 - 63
  • [3] 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
  • [4] A PETRI NET BASED COMPILER FOR THE PROTOTYPING LANGUAGE RELOS
    GRUHN, V
    HALLMANN, M
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 471 - 482
  • [5] On properties of concurrent system based on Petri net language
    Jiang, Chang-Jun
    Lu, Wei-Ming
    Ruan Jian Xue Bao/Journal of Software, 2001, 12 (04): : 512 - 520
  • [6] PETRI NET DEFINITION OF A SYSTEM DESCRIPTION LANGUAGE.
    Jensen, Kurt
    Kyng, Morten
    Madsen, Ole Lehrmann
    Instrument Maintenance Management, 1979, 70 : 348 - 368
  • [7] 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
  • [8] The Petri net markup language: Concepts, technology, and tools
    Billington, J
    Christensen, S
    van Hee, K
    Kindler, E
    Kummer, O
    Petrucci, L
    Post, R
    Stehno, C
    Weber, M
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 483 - 505
  • [9] Petri net transformations in the Petri Net Baukasten
    Braatz, B.
    Ehrig, H.
    Urbášek, M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2472 : 37 - 65
  • [10] Petri net transformations in the "Petri Net Baukasten"
    Braatz, B
    Ehrig, H
    Urbásek, M
    PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS: ADVANCES IN PETRI NETS, 2003, 2472 : 37 - 65
12345