Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems

    We present a hybrid (continuous-discrete) type of high-level Petri Nets, and describe how it can be applied to the study of train control systems. In addition to the elements of discrete high-level Petri Nets,...

    Gebhard Decknatel, Roman Slovák in Modelling, Analysis, and Design of Hybrid … (2002)