Petri net-based specification of safety-relevant railway control systems

被引：0
|
作者：
Einer, Stefan
Slovak, Roman
Schieder, Eckehard
机构：
来源：
| 2000年 / Tetzlaff Verlag GmbH Co KG, Hamburg, Germany卷 / 51期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] A Petri Net-Based Software Synchronizer for Automatic Measurement Systems
    Arpaia, Pasquale
    Fiscarelli, Lucio
    La Commara, Giuseppe
    Romano, Felice
    IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2011, 60 (01) : 319 - 328
  • [22] Graphlets in comparison of Petri net-based models of biological systems
    Szawulak, Bartlomiej
    Formanowicz, Piotr
    SCIENTIFIC REPORTS, 2022, 12 (01)
  • [23] Execution control of robotic tasks: a Petri net-based approach
    Caccia, M
    Coletta, P
    Bruzzone, G
    Veruggio, G
    CONTROL ENGINEERING PRACTICE, 2005, 13 (08) : 959 - 971
  • [24] Petri net-based automated control synthesis for a class of DEDS
    Capkovic, F
    Capkovic, P
    ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 297 - 304
  • [25] Petri net-based modeling and VHDL implementation of digital systems
    Wan, Jun
    PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2016, 48 : 108 - 111
  • [26] Petri net-based modeling of a class of complex digital systems
    Jayaram, R
    Raman, S
    Raj, RV
    Patnaik, LM
    COMPUTERS & ELECTRICAL ENGINEERING, 1997, 23 (01) : 41 - 53
  • [27] Petri net-based cooperation in multi-agent systems
    Kotb, Y. T.
    Beauchemin, S. S.
    Barron, J. L.
    FOURTH CANADIAN CONFERENCE ON COMPUTER AND ROBOT VISION, PROCEEDINGS, 2007, : 123 - +
  • [28] Petri Net-Based Problem Solving
    Capkovic, Frantisek
    2014 IEEE 12TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS (SISY), 2014, : 203 - 208
  • [29] Graphlets in comparison of Petri net-based models of biological systems
    Bartłomiej Szawulak
    Piotr Formanowicz
    Scientific Reports, 12
  • [30] A PETRI NET-BASED DECOMPOSITION APPROACH IN MODELING OF MANUFACTURING SYSTEMS
    TENG, SHG
    JIE, Z
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1993, 31 (06) : 1423 - 1439
12345