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 条
  • [1] Petri net-based dependability analysis of a safety-relevant, autonomous train localization on the basis of PROFUND
    Dodinoiu, Andreas
    Geffert, Arne
    Lan, Tianxiang
    Becker, Uwe
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2021, 69 (03) : 186 - 199
  • [2] Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Wojnakowski, Marcin
    Wisniewski, Remigiusz
    Bazydlo, Grzegorz
    Poplawski, Mateusz
    [J]. INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2021, 31 (04) : 647 - 657
  • [3] Petri net-based specification, analysis and synthesis of logic controllers
    Wegrzyn, A
    Wegrzyn, M
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 20 - 26
  • [4] Petri net-based VR model interactive behaviour specification and control for maintaining training
    Sun, T. -L.
    [J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2009, 22 (02) : 129 - 137
  • [5] Petri net-based modeling and control of the multi-elevator systems
    Farooq Ahmad
    Ilyas Fakhir
    Sher Afzal Khan
    Yaser Daanial Khan
    [J]. Neural Computing and Applications, 2014, 24 : 1601 - 1612
  • [6] Controllable Petri Net-Based Implementation Approach for Motor Control Systems
    Kuo, Chung-Hsien
    Chen, Ting-Shuo
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2013, 60 (10) : 4599 - 4612
  • [7] Petri net-based modeling and control of the multi-elevator systems
    Ahmad, Farooq
    Fakhir, Ilyas
    Khan, Sher Afzal
    Khan, Yaser Daanial
    [J]. NEURAL COMPUTING & APPLICATIONS, 2014, 24 (7-8): : 1601 - 1612
  • [8] A Petri Net-Based Approach to Control of Boolean Networks
    Kobayashi, Koichi
    Hiraishi, Kunihiko
    [J]. 2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 399 - 403
  • [9] Petri net-based modelling of workflow systems: An overview
    Salimifard, K
    Wright, M
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2001, 134 (03) : 664 - 676
  • [10] Petri net-based modeling of hybrid dynamic systems
    Gotesman, M
    LopezBenitez, N
    [J]. ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 553 - 559
12345