PETRI NET TOOLS

被引：0
|
作者：
FELDBRUGGE, F
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 222卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：203 / 223
页数：21
相关论文
共 50 条
  • [21] New Petri net controller for distributed Petri net
    Dohi, Y
    Takano, W
    Horiguchi, T
    Murakoshi, H
    [J]. IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 143 - 148
  • [22] Implementation of parameterized net classes with the Petri net kernel of the >>Petri Net Baukasten<<
    Ermel, C
    Weber, M
    [J]. UNIFYING PETRI NETS: ADVANCES IN PETRI NETS, 2001, 2128 : 79 - 102
  • [23] 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
  • [24] Matlab tools for Petri-Net-Based approaches to flexible manufacturing systems
    Mahulea, C
    Barsan, L
    Pastravanu, O
    [J]. LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), 2001, : 199 - 204
  • [25] 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
  • [26] VALIDATION OF PETRI NET MODELS BY PETRI-NET-MACHINE
    STARKE, PH
    [J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1988, 5 (03): : 253 - 261
  • [27] Modeling and analyzing biomedical processes using workflow/Petri Net models and tools
    Peleg, M
    Tu, S
    Manindroo, A
    Altman, RB
    [J]. MEDINFO 2004: PROCEEDINGS OF THE 11TH WORLD CONGRESS ON MEDICAL INFORMATICS, PT 1 AND 2, 2004, 107 : 74 - 78
  • [28] Process net system of Petri net
    Zeng, Qing-Tian
    Wu, Zhe-Hui
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (12): : 1308 - 1315
  • [29] Design of a Petri net supervisor for multi-cluster tools to improve scheduling performance
    Sakai, Masaru
    Nishi, Tatsushi
    [J]. JOURNAL OF ADVANCED MECHANICAL DESIGN SYSTEMS AND MANUFACTURING, 2018, 12 (03):
  • [30] Smart selection from petri net modeling tools for fast developing a manufacturing system
    Lin, Yi-Nan
    Yang, Cheng-Ying
    Chiou, Gwo-Jen
    Wang, Sheng-Kuan
    Shen, Victor R. L.
    Wang, Yu-Ying
    Bui, Hai Hoang
    Wang, Jianzhi
    [J]. COGENT ENGINEERING, 2022, 9 (01):
12345