Synonyme wurden verwendet für: Petri net Petri net model model net
Suche ohne Synonyme: keywords:(Petri net model)

1–20 von 34 Ergebnissen
|

    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

    Performance evaluation in BRT systems: An analysis to predict the BRT systems planning

    Dantas, Renata / Dantas, Jamilson / Melo, Carlos et al. | Elsevier | 2021
    Schlagwörter: Stochastic model , Petri nets

    The impact of summer heatwaves on railway track geometry maintenance

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

    Impact of Driving Behavior on Traffic Delay at a Congested Signalized Intersection

    Qi, Liang | Online Contents | 2017
    Schlagwörter: Petri nets , Timed petri nets , Cell transmission model

    A Modular Colored Stochastic Petri Net for Modeling and Analysis of Signalized Intersections

    List, George F | Online Contents | 2016
    Schlagwörter: Petri nets , Petri nets (PNs) , Analytical models , Mathematical model

    Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets

    Wu, Daohua | Online Contents | 2016
    Schlagwörter: colored Petri nets , Petri nets , Analytical models , Mathematical model

    A Deterministic and Stochastic Petri Net Model for Traffic-Responsive Signaling Control in Urban Areas

    Di Febbraro, Angela | Online Contents | 2016
    Schlagwörter: Petri nets , Analytical models , deterministic and stochastic Petri nets (DSPNs)

    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

    Emergency Traffic-Light Control System Design for Intersections Subject to Accidents

    Qi, Liang | Online Contents | 2016
    Schlagwörter: Petri nets , Analytical models

    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

    Model-Based Diagnosis of Multi-Track Level Crossing Plants

    Liu, Baisi | Online Contents | 2016
    Schlagwörter: Analytical models , Petri net

    Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model

    Jun, Tang / Piera, Miquel Angel / Nosedal, Jenaro | Tema Archiv | 2015
    Schlagwörter: Petri-Netz , coloured Petri nets , ursächliches Modell

    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

    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

    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

    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

      A causal model to explore the ACAS induced collisions

      Jun, Tang / Piera, Miquel Angel / Ruiz, Sergio | Tema Archiv | 2014
      Schlagwörter: Petri-Netz , ursächliches Modell

    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