PETRI NET TOOLS

被引：0
|
作者：
FELDBRUGGE, F
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 222卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：203 / 223
页数：21
相关论文
共 50 条
  • [1] 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
  • [2] A Survey of Petri Net Tools
    Thong, Weng Jie
    Ameedeen, M. A.
    [J]. ADVANCED COMPUTER AND COMMUNICATION ENGINEERING TECHNOLOGY, 2015, 315 : 537 - 551
  • [3] PETRI NET TOOLS FOR THE ANALYSIS OF COLLABORATIVE TASKS
    Gonsalves, Tad
    Kawabata, Ryo
    Tabata, Shunya
    Itoh, Kiyoshi
    [J]. JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE, 2008, 12 (01) : 23 - 38
  • [4] MATLAB tools for the analysis of Petri net models
    Julvez, Jorge
    Matcovschi, Mihaela H.
    Pastravanu, Octavian
    [J]. 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [5] On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
    Barros, Joao Paulo
    Gomes, Luis
    Costa, Aniko
    [J]. 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 6138 - 6143
  • [6] Timed Petri net models of cluster tools
    Zuberek, WM
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3063 - 3068
  • [7] Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools
    Hillah, Lom Messan
    Kordon, Fabrice
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 125 - 135
  • [8] TOOLS FOR MODELING WITH PETRI-NET LIKE NETS
    DITTRICH, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 410 : 191 - 199
  • [9] PETRI NET TOOLS FOR THE SPECIFICATION AND ANALYSIS OF DISCRETE CONTROLLERS
    WILLSON, RG
    KROGH, BH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (01) : 39 - 50
  • [10] 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
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 483 - 505
12345