„petri net analysis“

Suchergebnisse

1.000+ Treffer

• Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets
  Hussain, Syed Asad ; Khan, Naeem Akhtar ; Sadiq, Ayesha ; Ahmad, Farooq
• Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram
  Li, Chen ; Nagasaki, Masao ; Saito, Ayumu ; Miyano, Satoru
• Einstieg in stochastische Prozesse – Grundlagen und Anwendungen mit vielen Übungen, Lösungen und Videos
  Imkamp, Thorsten ; Proß, Sabrina 2023 Springer Berlin Heidelberg
• Analysis and Optimization of Visual Enterprise Models – Based on Graph and Model Transformation [[Elektronische Ressource]]
  Hermann, Frank ; Ehrig, Hartmut 2011 Universitätsbibliothek der Technischen Universität Berlin
• Analysis and optimization of visual enterprise models – based on graph and model transformation
  Hermann, Frank 2011 Univ.-Verl. der TU
• Efficiency Analysis of Integrated Public Hospital Networks in Outpatient Internal Medicine
  Ortíz-Barrios, Miguel Angel ; Escorcia-Caballero, Juan P. ; Sánchez-Sánchez, Fabián ; De Felice, Fabio ; Petrillo, Antonella
• Construction and performance analysis of a Petri net model based on a functional model in a CIM system
  Lee, Kichang ; Jeong, Hanil ; Park, Chankwon ; Park, Jinwoo
• Quantifying the advantage of a kitting system using Petri nets: a case study in Turkey, modeling, analysis, and insights
  Vatankhah Barenji, Reza ; Yuksel Ozkaya, Banu ; Vatankhah Barenji, Ali
• Petri net based qualitative analysis – a case study
  Heiner, Monika ; Deussen, Peter H. 1995 Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik
• Analysis and formal verification of SDL'92 specifications using extended Petri nets
  Fischer, Joachim ; Dimitrov, Evgeni ; Taubert, Udo 1995 Professoren des Inst. für Informatik
• Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets
  Song, Haifeng ; Schnieder, Eckehard 2018 Technische Universität Braunschweig
• Analyzing Interacting BPEL Processes
  Lohmann, Niels ; Massuthe, Peter ; Stahl, Christian ; Weinberg, Daniela 2006 Humboldt-Universität zu Berlin
• Analysis and Correctness of Algebraic Graph and Model Transformations
  2011 Vieweg+Teubner
• Coloured Petri Nets – Modelling and Validation of Concurrent Systems
  2009 Springer Berlin Heidelberg
• Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets
  Song, Haifeng 2019 Shaker
• Integrative Analyse der Struktur und Dynamik metabolischer Modelle
  Hartmann, Anja ; Schreiber, Falk ; Koch, Ina 2015 Universitäts- und Landesbibliothek Sachsen-Anhalt
• Interaction on human-centric communication platforms : modelling and analysis using algebraic high-level nets and processes
  Gabriel, Karsten ; Ehrig, Hartmut ; Schieferdecker, Ina ; Padberg, Julia 2014 Technische Universität Berlin
• Ageing notions in the analysis of stochastic Petri nets
  Alexin, Johann 2013 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• VANESA - A bioinformatics software application for the modeling, visualization, analysis, and simulation of biological networks in systems biology applications
  Janowski, Sebastian Jan 2013 Universitaetsbibliothek Bielefeld
• Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
  Tovchigrechko, Alexey A.