PETRI NET TOOL OVERVIEW 1986

被引：0
|
作者：
FELDBRUGGE, F [1 ]
JENSEN, K [1 ]
机构：
[1] AARHUS UNIV,DK-8000 AARHUS C,DENMARK
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 255卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：20 / 61
页数：42
相关论文
共 50 条
  • [41] Evaluation of Petri net process model representation as a tool of virtual manufacturing
    Horvath, L
    Rudas, IJ
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 178 - 183
  • [42] Applicatiom of coloured Petri net and genetic algoirithm to cluster tool scheduling
    Liu, TK
    Kuo, CJ
    Hsiao, YC
    Tsai, JT
    Chou, JH
    [J]. ICMIT 2005: CONTROL SYSTEMS AND ROBOTICS, PTS 1 AND 2, 2005, 6042
  • [43] PROTOCOL VERIFICATION TOOL WITH EXTENDED PETRI-NET AND HORN CLAUSE
    WATANABE, T
    OHTA, T
    SATO, F
    MIZUNO, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1995, E78A (11) : 1458 - 1467
  • [44] The Petri Net Kernel: An infrastructure for building Petri net tools
    Kindler E.
    Weber M.
    [J]. International Journal on Software Tools for Technology Transfer, 2001, 3 (4) : 486 - 497
  • [45] 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
    [J]. PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS, 2003, 2472 : 1 - 21
  • [46] Implementation of a large Petri Net by a group of Petri Net Controller
    Kamakura, T
    Shimoda, T
    Dohi, Y
    Murakoshi, H
    [J]. IECON '97 - PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS. 1-4, 1997, : 1210 - 1215
  • [47] VALIDATION OF PETRI NET MODELS BY PETRI-NET-MACHINE
    STARKE, PH
    [J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1988, 5 (03): : 253 - 261
  • [48] The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach
    Juan-Pablo, Lopez-Grao
    Colom, Jose-Manuel
    Tricas, Fernando
    [J]. 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [49] Process net system of Petri net
    Zeng, Qing-Tian
    Wu, Zhe-Hui
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (12): : 1308 - 1315
  • [50] A Petri net tool for software performance estimation based on upper throughput bounds
    Rodriguez, Ricardo J.
    [J]. AUTOMATED SOFTWARE ENGINEERING, 2017, 24 (01) : 73 - 99
12345