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 条
  • [21] Implementation of parameterized net classes with the Petri net kernel of the >>Petri Net Baukasten<<
    Ermel, C
    Weber, M
    UNIFYING PETRI NETS: ADVANCES IN PETRI NETS, 2001, 2128 : 79 - 102
  • [22] Petri Net Script: A visual language for describing action, behaviour and plot
    Blackwell, L
    von Konsky, B
    Robey, M
    PROCEEDINGS OF THE 24TH AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC 2001, 2001, 23 (01): : 29 - 37
  • [23] Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
    Bergenthum, Robin
    Desel, Joerg
    Mauser, Sebastian
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 216 - 243
  • [24] The Petri Net Kernel: An infrastructure for building Petri net tools
    Kindler E.
    Weber M.
    International Journal on Software Tools for Technology Transfer, 2001, 3 (4) : 486 - 497
  • [25] PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language
    Hillah, L. M.
    Kordon, F.
    Petrucci, L.
    Treves, N.
    APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 318 - +
  • [26] The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
    Weber, H
    Ehrig, H
    Reisig, W
    Borusan, A
    Lembke, S
    Dehnert, J
    Weber, M
    Martens, A
    Padberg, J
    Ermel, C
    Qemali, A
    PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS, 2003, 2472 : 1 - 21
  • [27] Implementation of a large Petri Net by a group of Petri Net Controller
    Kamakura, T
    Shimoda, T
    Dohi, Y
    Murakoshi, H
    IECON '97 - PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS. 1-4, 1997, : 1210 - 1215
  • [28] VALIDATION OF PETRI NET MODELS BY PETRI-NET-MACHINE
    STARKE, PH
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1988, 5 (03): : 253 - 261
  • [29] On Computability and Learnability of the Pumping Lemma Function
    Kalocinski, Dariusz
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 433 - 440
  • [30] A pumping lemma for DLI-languages
    Kászonyi, L
    DISCRETE MATHEMATICS, 2002, 258 (1-3) : 105 - 122
12345