Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Petri-Netz
Suche ohne Synonyme: keywords:("Petri-Netz")
Verwendete Synonyme:
- petri net
- petri net structure
- petri nets
- petrinetz
-
Polynomial analysis algorithms for free choice Probabilistic Workflow Nets
Elsevier | 2017|Schlagwörter: Workflow Petri nets, Free-choice Petri nets, Confusion-free Petri nets -
Autonomous Petri Nets
Wiley | 2016|Schlagwörter: autonomous Petri nets, marked Petri nets, unmarked Petri nets -
Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism
Freier ZugriffBASE | 2015|Schlagwörter: Petri Nets, Dynamic Petri Nets, Extended Petri Nets -
Zur Komplexität der Synthese von Petri-Netzen
Freier ZugriffTIBKAT | 2021|Schlagwörter: Petri-Netz -
A best deadlock control for S3PMR to reach all states
Wiley | 2012|Schlagwörter: colored Petri nets, Petri nets -
Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems
Elsevier | 2010|Schlagwörter: Petri nets, Labeled Petri nets -
Contributions of Petri Nets to the Reliability and Availability of an Electrical Power System in a Big European Hospital - A Case Study
Freier ZugriffBASE | 2021|Schlagwörter: Petri Nets, Fuzzy Petri Nets -
Some Extensions of Petri Nets
Wiley | 2016|Schlagwörter: interpreted Petri nets, colored Petri nets, timed Petri nets, stochastic Petri nets -
Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets
Elsevier | 2024|Schlagwörter: Petri nets, Colored Petri-nets -
Design of Traffic Safety Control Systems for Railroads and Roadways Using Timed Petri Nets
Wiley | 2015|Schlagwörter: Petri net, timed Petri net -
Use of Petri Nets to Model the Maintenance of Wind Turbines
Online Contents | 2016|Schlagwörter: Petri nets -
Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets
Online Contents | 2016|Schlagwörter: Hierarchical fuzzy colored Petri-net, Petri-net -
An elastic controller using Colored Petri Nets in cloud computing environment
Online Contents | 2019|Schlagwörter: Colored Petri Nets -
An elastic controller using Colored Petri Nets in cloud computing environment
Online Contents | 2019|Schlagwörter: Colored Petri Nets -
Hybrid and Hybrid Adaptive Petri Nets: On the computation of a Reachability Graph
Elsevier | 2014|Schlagwörter: Petri Nets, Hybrid Petri Nets, Hybrid Adaptive Petri Nets -
Dynamics and steady state analysis of controlled Generalized Batches Petri Nets
Elsevier | 2013|Schlagwörter: Continuous Petri nets, Hybrid Petri nets -
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs
Online Contents | 2011|Schlagwörter: Stochastic Petri nets, Continuous Petri nets
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.