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 条
  • [31] Petri net-based decision nets
    Simoes, MAS
    Barretto, MRP
    INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98), 1999, : 251 - 256
  • [32] A Petri net-based workflow system
    Li, Xiaofang
    Wang, Congming
    Liang, Y.
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3726 - 3729
  • [33] Petri Net-based workflow management systems for in-process control in a plastic processing plant
    Fung, RYK
    Au, AYM
    Ip, AWH
    JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2003, 139 (1-3) : 302 - 309
  • [34] A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems with Assembly Operations
    Hu, Hesuan
    Zhou, MengChu
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2015, 23 (02) : 513 - 524
  • [35] Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources
    Abubakar, Umar Suleiman
    Liu, Gaiyun
    Uzam, Murat
    IEEE ACCESS, 2021, 9 : 100264 - 100278
  • [36] A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (02): : 299 - 308
  • [37] Petri net-based context modeling for context-aware systems
    Han, Seungwok
    Youn, Hee Yong
    ARTIFICIAL INTELLIGENCE REVIEW, 2012, 37 (01) : 43 - 67
  • [38] PETRI NET-BASED OBJECT-ORIENTED MODELING OF DISTRIBUTED SYSTEMS
    BRUNO, G
    BALSAMO, A
    SIGPLAN NOTICES, 1986, 21 (11): : 284 - 293
  • [39] Petri net-based architecture for plant simulation
    Camurri, A
    Coglio, A
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 397 - 402
  • [40] Comparing Petri net-based models of biological systems using Holmes
    Szawulak, Bartlomiej
    Radom, Marcin
    Formanowicz, Piotr
    BIOINFORMATICS, 2022, 38 (19) : 4652 - 4653
12345