1–14 von 14 Ergebnissen
|

    Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions

    Tang, Jun / Piera, Miquel Angel / Guasch, Toni | Elsevier | 2016
    Schlagwörter: Encounter model , Petri net

    A causal model to explore the ACAS induced collisions

    Jun, Tang / Piera, Miquel Angel / Ruiz, Sergio | SAGE Publications | 2014
    Schlagwörter: Model validation , petri net

    Urban Transport GSPN Model of Cyber-Physical Systems

    Zhao, Wen Cang / Tong, Bo / Wang, Xiao Xiao | Trans Tech Publications | 2015
    Schlagwörter: Petri Net , GSPN Model

    The impact of summer heatwaves on railway track geometry maintenance

    Davies, Ben / Andrews, John | SAGE Publications | 2021
    Schlagwörter: degradation model , Petri net model

    Research on Emergency Logistics Model of Agricultural Products Based on Coupling of Petri Net and Blockchain

    Freier Zugriff
    Huimin Ge / Haisheng Liu / Rui Wang et al. | DOAJ | 2021
    Schlagwörter: petri net , coupling model

    A discrete-event modeling approach for the analysis of TCAS-induced collisions with different pilot response times

    Tang, Jun / Piera, Miquel A / Baruwa, Olatunde T | SAGE Publications | 2015
    Schlagwörter: colored Petri net , encounter model

    Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net

    Freier Zugriff
    Zhigang Su / Mengqi Qiu | DOAJ | 2019
    Schlagwörter: petri net , airport surface model

    Railway track availability modelling with opportunistic maintenance practice

    Davies, Ben / Andrews, John | SAGE Publications | 2022
    Schlagwörter: degradation model , coloured petri net model

    Generalized Transport Logistics Model

    Moiseev, Vladimir / Karpova, Tatyana / Ksenofontova, Vera | Springer Verlag | 2022
    Schlagwörter: Petri net , Mathematical model

    Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks

    Ding, Zuohua | Online Contents | 2016
    Schlagwörter: Petri nets , model transformation , Petri net

    Railway infrastructure asset management: the whole‐system life cost analysis

    Freier Zugriff
    Rama, Dovile / Andrews, John D | Wiley | 2016
    Schlagwörter: Petri nets , mathematical model , Petri net modelling technique

      Railway infrastructure asset management: the whole-system life cost analysis

      Freier Zugriff
      Rama, Dovile / Andrews, John D | IET | 2016
      Schlagwörter: Petri nets , Petri net modelling technique , mathematical model

    Prioritisation in air traffic flow management: The design of a flow management tool using a petri-net approach

    IOS Press | 2014
    Schlagwörter: model-based simulations , petri-net analysis

    Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets

    Yi-Sheng Huang | Online Contents | 2015
    Schlagwörter: timed Petri nets , Petri nets , timed Petri net , model reversibility , model liveness

    Performance Evaluation of GNSS for Train Localization

    Debiao Lu | Online Contents | 2015
    Schlagwörter: stochastic Petri net model , Petri nets