Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Coloured stochastic Petri nets modelling for the reliability and maintenance analysis of multi-state multi-unit systems
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Journal of manufacturing technology management, 2014
Wang, Zhouhang;Atli, Maen;Adjallah, Kondo H.
2014
Link zum Volltext
Verfügbarkeit prüfen
Modeling and Analysis of a Manufacturing System with Deadlocks to Generate the Reachability Tree Using Petri Net System
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Procedia engineering, 2013, Vol.64, p.775-784
Patel, Ajay M.;Joshi, Anand Y.
2013
Link zum Volltext
Verfügbarkeit prüfen
Towards Optimal Collaboration of Policies in the Two-Phase Scheduling of Cloud Tasks
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Network and Parallel Computing, p.306-320
Xu, Cong;Yang, Jiahai;Fu, Di;Zhang, Hui
Link zum Volltext
Verfügbarkeit prüfen
Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Energy Efficient Data Centers, p.52-67
Postema, Björn F.;Haverkort, Boudewijn R.
Link zum Volltext
Verfügbarkeit prüfen
Application of Petri Nets to Communication Networks: Advances in Petri Nets
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Billington, Jonathan;Diaz, Michel;Rozenberg, Grzegorz
1999
Link zum Volltext
Verfügbarkeit prüfen
Stochastic Petri Nets: Modeling, Stability, Simulation
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Haas, Peter J
2002
Link zum Volltext
Verfügbarkeit prüfen
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Hommel, Günter
1995
Link zum Volltext
Verfügbarkeit prüfen
A new pattern based Petri net to model sintering production process
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Transactions of the Institute of Measurement and Control, 2018, Vol.40 (9), p.2771-2778
Wu, Jinxia;Liu, Chuang
2018
Link zum Volltext
Verfügbarkeit prüfen
An optimized technique for reliability analysis of safety‐critical systems: A case study of nuclear power plant
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Quality and reliability engineering international, 2019, Vol.35 (1), p.461-469
Kumar, Pramod;Singh, Lalit Kumar;Kumar, Chiranjeev
2019
Link zum Volltext
Verfügbarkeit prüfen
Integrating Simulation and Numerical Analysis in the Evaluation of Generalized Stochastic Petri Nets
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
ACM transactions on modeling and computer simulation, 2019, Vol.29 (4), p.1-25
Zimmermann, Armin;Hotz, Thomas
2019
Link zum Volltext
Verfügbarkeit prüfen
Stochastic Process Discovery by Weight Estimation
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Process Mining Workshops, 2021, Vol.406, p.260-272
Leemans, Sander;Leopold, Henrik
2021
Link zum Volltext
Verfügbarkeit prüfen
A Tool for Computing Probabilistic Trace Alignments
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Intelligent Information Systems, 2021, Vol.424
Nurcan, Selmin;Korthaus, Axel
2021
Link zum Volltext
Verfügbarkeit prüfen
Modelling and Performance Evaluation with TimeNET 4.4
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Quantitative Evaluation of Systems, 2017, Vol.10503, p.300-303
Bertrand, Nathalie;Bortolussi, Luca
2017
Link zum Volltext
Verfügbarkeit prüfen
Timed und stochastische Petri-Netze
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Funktionale Analyse zeitbehafteter Petri-Netze, p.43-57
Bause, Falko
Link zum Volltext
Verfügbarkeit prüfen
Heuristic scheduling policies for a semiconductor wafer fabrication facility: minimizing variation of cycle times
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
International journal of advanced manufacturing technology, 2013, Vol.67 (1-4), p.171-180
Yoon, Hyun Joong;Kim, Jin Gon
2013
Link zum Volltext
Verfügbarkeit prüfen
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security, p.304-315
Carnevali, Laura;Paolieri, Marco;Tarani, Fabio;Vicario, Enrico;Tadano, Kumiko
Link zum Volltext
Verfügbarkeit prüfen
Ereignisdiskrete Systeme: Modellierung und Analyse Dynamischer Systeme Mit Automaten, Markovketten und Petrinetzen
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Lunze, Jan
2017
Link zum Volltext
Verfügbarkeit prüfen
Ereignisdiskrete Systeme: Modellierung und Steuerung verteilter Systeme
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Kiencke, Uwe
2006
Link zum Volltext
Verfügbarkeit prüfen
Ereignisdiskrete Systeme: Modellierung und Steuerung verteilter Systeme
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Puente León, Fernando;Kiencke, Uwe
2013
Link zum Volltext
Verfügbarkeit prüfen
Entwurfsbegleitende Leistungsanalyse Mit UML, MARTE und Generalisierten Netzen
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Koycheva, Evelina
2013
Link zum Volltext
Verfügbarkeit prüfen
Ereignisdiskrete Systeme: Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Lunze, Jan
2006
Link zum Volltext
Verfügbarkeit prüfen
Ein Diagnoseverfahren für kontinuierliche Systeme mit quantisierten Messgrößen (Diagnosis of Continuous-Variable Systems with Quantised Measurements)
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Automatisierungstechnik : AT, 2000, Vol.48 (7), p.351
Lunze, Jan
2000
Link zum Volltext
Verfügbarkeit prüfen
Wesentliche nicht invariante Modelleigenschaften bei Integration des Zeitbegriffs in Petri-Netze
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Funktionale Analyse zeitbehafteter Petri-Netze, p.58-78
Bause, Falko
Link zum Volltext
Verfügbarkeit prüfen
Petri-Netze
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Prüfungsaufgaben Informatik, p.435-447
Bischoff, Rainer
Link zum Volltext
Verfügbarkeit prüfen
Petri Netze mit Nulltest
  • Bitte anmelden um Merklisten zu nutzen
    Datensatz exportieren als...
  • BibTeX
Entscheidbarkeit bei Petri Netzen, p.195-221
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 62
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
Zeitschrift / Serie