Interactive simulation and program-generation tool for expanded Petri nets

被引：0
|
作者：
Daehler, Jacques [1 ]
机构：
[1] ETH, Switzerland
来源：
Bulletin de l'Association suisse des electriciens | 1988年 / 79卷 / 17期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
3
引用
收藏
页码：1035 / 1040
相关论文
共 50 条
  • [11] Neural simulation of Petri nets
    Chen, SW
    Fang, CY
    Chang, KE
    PARALLEL COMPUTING, 1999, 25 (02) : 183 - 207
  • [12] GRAPHICAL SIMULATION OF PETRI NETS
    KUMAR, MPS
    SRIKANT, YN
    COMPUTERS & GRAPHICS, 1986, 10 (03) : 225 - 228
  • [13] Timed Petri Nets as a verification tool
    Barad, M
    1998 WINTER SIMULATION CONFERENCE PROCEEDINGS, VOLS 1 AND 2, 1998, : 547 - 554
  • [14] PETRI NETS AS A DESIGN AND VALIDATION TOOL
    AZEMA, P
    BERTHOMIEU, B
    DECIENE, P
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1981, 5 (01): : 59 - 59
  • [15] Input-Output Conditions for Automatic Program Generation Using Petri Nets
    Osogami, Masahiro
    Yamanishi, Teruya
    Uosaki, Katsuji
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6881 : 296 - 305
  • [16] A program for analysis and control of Petri nets
    Apaydin, H
    Manay, A
    Aybar, A
    Iftar, A
    ICCC 2004: SECOND IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL CYBERNETICS, PROCEEDINGS, 2004, : 309 - 314
  • [17] Simulation and analysis of Condition/Event Petri nets using software tool CESim
    Novosad, Petr
    Ceska, Milan
    EUROPEAN SIMULATION AND MODELLING CONFERENCE 2007, 2007, : 170 - 172
  • [18] An interactive petri net tool for modeling, analysis and simulation of complex systems
    Lima, IS
    Perkusich, A
    deFigueiredo, JCA
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 870 - 875
  • [19] Optimal Trajectory Generation for Petri nets
    Gyapayt, Szilvia
    Patariczat, Andras
    ACTA CYBERNETICA, 2005, 17 (02): : 225 - 245
  • [20] Generation of Database Transactions with Petri Nets
    van Hee, Kees M.
    Sidorova, Natalia
    Voorhoeve, Marc
    van der Werf, Jan Martijn
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 171 - 184
12345