PETRI NET TOOL OVERVIEW 1986

被引:0
|
作者
FELDBRUGGE, F [1 ]
JENSEN, K [1 ]
机构
[1] AARHUS UNIV,DK-8000 AARHUS C,DENMARK
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:20 / 61
页数:42
相关论文
共 50 条
  • [1] PETRI NET TOOL OVERVIEW 1989
    FELDBRUGGE, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 424 : 151 - 178
  • [2] A Petri net system - an overview
    Suraj, Zbigniew
    Fryc, Barbara
    Matusiewicz, Zofia
    Pancerz, Krzysztof
    [J]. FUNDAMENTA INFORMATICAE, 2006, 71 (01) : 101 - 119
  • [3] The >>Petri Net Baukasten<<:: An overview
    Gajewsky, M
    Ehrig, H
    [J]. UNIFYING PETRI NETS: ADVANCES IN PETRI NETS, 2001, 2128 : 26 - 53
  • [4] PETRI NET AS A MODELING TOOL
    HURA, GS
    [J]. MICROELECTRONICS AND RELIABILITY, 1982, 22 (03): : 433 - 439
  • [5] The Petri net modelling and analysis tool Π-Tool
    Quiroga, Lisandro M.
    Becker, Uwe
    Schnieder, Eckehard
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2014, 62 (06) : 436 - 445
  • [6] The ePNK: An Extensible Petri Net Tool for PNML
    Kindler, Ekkart
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 318 - 327
  • [7] Charlie - An Extensible Petri Net Analysis Tool
    Heiner, Monika
    Schwarick, Martin
    Wegener, Jan-Thierry
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 200 - 211
  • [8] Petri Net Tool for the Construction of Street Networks
    Malo Tamayo, Alejandro J.
    [J]. 2009 6TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATION CONTROL (CCE 2009), 2009, : 204 - 209
  • [9] A GRAPHICAL PETRI NET TOOL FOR PERFORMANCE ANALYSIS
    CHIOLA, G
    [J]. PERFORMANCE EVALUATION, 1987, 7 (04) : 337 - 337
  • [10] 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