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

1–46 von 46 Ergebnissen
|

    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

    A modelling approach to railway track asset management

    Andrews, John | SAGE Publications | 2013
    Schlagwörter: Petri nets , degradation models , maintenance models

    Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes

    Netjasov, Fedja / Vidosavljevic, Andrija / Tosic, Vojin et al. | Elsevier | 2012
    Schlagwörter: Petri nets , Model validation

    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

    FAirControl: Ein Werkzeug zur Modellierung und Analyse von Verhaltensweisen am Lotsenarbeitsplatz

    Möhlenbrink, Christoph / Werther, Bernd / Rudolph, Michael | Tema Archiv | 2007
    Schlagwörter: Petri-Netz , Mensch-Maschine-Modell , farbiges Petri-Netz

    Macro modelling of traffic flow using continuous timed Petri nets

    Ferreira, Cláudia / Neves, Luís Canhoto | Taylor & Francis Verlag | 2021
    Schlagwörter: Continuous timed Petri nets , Hybrid model

    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

    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

    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 Petri-Nets Modelling Approach for Evaluating the Design of Urban Railway Transit Hubs

    Zhao, Hang / Jiang, Rong | Trans Tech Publications | 2013
    Schlagwörter: Petri Nets Model

    Modellierung, Entwurf und Simulation einer Regelbasis für verbesserte Verkehrsqualität und - Sicherheit

    Pankratz, Kirsten / Pankratz, Maren / Hübner, Matthias et al. | Tema Archiv | 2012
    Schlagwörter: mathematisches Modell , Petri-Netz

    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)

    Application of ECSPN to RAMS Modeling and Analysis of Hybrid Drive Systems

    Nebel, Steffen / Dieter, Andrea / Muller, Peter et al. | Tema Archiv | 2010
    Schlagwörter: Petri-Netz , Modell

    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

    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

    Einer, S. / Slovak, R. / Schnieder, E. | Tema Archiv | 2000
    Schlagwörter: Modell , Petri-Netz , Petrinetz-basierte Spezifikation , zeitbewertetes Petrinetz

    Using the Petri nets for forming the technological lines of the passenger trains processing in Ukraine

    Freier Zugriff
    Evgen Aleshinskiy / Vitalii Naumov / Ganna Prymachenko | DOAJ | 2016
    Schlagwörter: Petri nets , simulation model

    Steuerung des spurgeführten Verkehrs durch ein Multiagentensystem

    Dangelmaier, W. / Franke, H. | Tema Archiv | 2002
    Schlagwörter: Modell , Petri-Netz

    Petri networks and structural analysis of pulsed control systems in conditions of combined electric braking of mine electric locomotives

    Sinchuk, O.N. / Afanasev, E.V. / Guzov, E.S. et al. | Tema Archiv | 1994
    Schlagwörter: Petri-Netz , mathematisches Modell , theoretisches Modell

    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

    Hybrid Petri nets as a new formalism for modelling railway systems

    Decknatel, G. / Schnieder, E. | Tema Archiv | 1998
    Schlagwörter: mathematisches Modell , Petri-Netz

    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

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

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

    Pulsed control systems for tractional electric drives with electrical braking

    Sinchuk, O.N. / Afanasev, E.V. / Afanaseva, M.G. | Tema Archiv | 1996
    Schlagwörter: mathematisches Modell , Petri-Netz

    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

    Risk assessment of software-system specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archiv | 2001
    Schlagwörter: Petri-Netz , Modell

    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

      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

    Research towards a technology to support the specification of data processing system performance requirements

    Balkovich, E.E. / Engelberg, G.P. | Tema Archiv | 1976
    Schlagwörter: PETRI-NETZ , MATHEMATISCHES MODELL

    Betriebliche Leistung von Bahnsystemen unter Strömungsbedingungen

    Zhu, P. | Tema Archiv | 2001
    Schlagwörter: mathematisches Modell , Petri-Netz

    Simulation of a complex railway station with a Petri Nets based interlocking model

    Malavasi, G. / Raponi, P. / Ricci, S. et al. | Tema Archiv | 2003
    Schlagwörter: Petri-Netz , Interlocking-Modell

    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

    The impact of summer heatwaves on railway track geometry maintenance

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

    A particle system for safety verification of free flight in air traffic

    Blom, H.A.P. / Krystul, J. / Bakker, G.J. | Tema Archiv | 2006
    Schlagwörter: stochastisches Modell , Petri-Netz

    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

    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

    Toward Survivability Analysis of Spacecraft and Space‐Based Networks

    Saleh, Joseph Homer / Castet, Jean‐François | Wiley | 2011
    Schlagwörter: SPN model of space‐based network (SBN) , SPN model testing , stochastic Petri nets (SPNs) , Monte Carlo simulation runs ‐ for SPN models

    Development of an integrated market forecasting model for shipping, and shipbuilding parameters

    Sharma, R. / Sha, O.P. | Tema Archiv | 2007
    Schlagwörter: Fuzzy-Modell , Petri-Netz

    Conception de l'interface homme-machine du procede ferroviaire Astree

    Ezzedine, H. / Angue, J.C. / Lancien, D. et al. | Tema Archiv | 1995
    Schlagwörter: Petri-Netz , theoretisches 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

    Model-Based Diagnosis of Multi-Track Level Crossing Plants

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

    Scalable Adaptive Architectures for Maritime Operations Center Command and Control

    L. W. Wagenhals / A. K. Zaidi / A. H. Levis | NTIS | 2011
    Schlagwörter: Petri nets , Model checking

    Performance Evaluation of GNSS for Train Localization

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

    Runway incursion prevention method based on a discrete object sensing event‐driven model

    Freier Zugriff
    Xin‐min, Tang / Jian, Xing / Song‐chen, Han | Wiley | 2014
    Schlagwörter: Petri nets , airdrome surface operation model

      Runway incursion prevention method based on a discrete object sensing event-driven model

      Freier Zugriff
      Xin-min, Tang / Jian, Xing / Song-chen, Han | IET | 2014
      Schlagwörter: airdrome surface operation model , Petri nets