UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

Energies (Basel), 2016-09, Vol.9 (9), p.736-736

2016

Volltextzugriff (PDF)

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets

Theoretical computer science, 2012-08, Vol.446, p.48-74

2012

Volltextzugriff (PDF)

First-order hybrid Petri nets. An application to distributed manufacturing systems

Nonlinear analysis. Hybrid systems, 2008-06, Vol.2 (2), p.408-430

2008

Volltextzugriff (PDF)

Petri Net Modeling of the Cooperation Behavior of a Driver and a Copilot in an Advanced Driving Assistance System

IEEE transactions on intelligent transportation systems, 2011-12, Vol.12 (4), p.977-989

2011

Volltextzugriff (PDF)

Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques

Information and computation, 2015-04, Vol.241, p.321-348

2015

Volltextzugriff (PDF)

Hybrid and Hybrid Adaptive Petri Nets: On the computation of a Reachability Graph

Nonlinear analysis. Hybrid systems, 2015-05, Vol.16, p.24-39

2015

Volltextzugriff (PDF)

Symbolic state-space exploration meets statistical model checking

Performance evaluation, 2025-03, Vol.167, p.102449, Article 102449

2025

Volltextzugriff (PDF)

Modelling and simulation of a bottling plant using hybrid Petri nets

International journal of production research, 2005-04, Vol.43 (7), p.1375-1395

2005

Volltextzugriff (PDF)

Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines

Enterprise information systems, 2016-07, Vol.10 (6), p.581-610

2016

Volltextzugriff (PDF)

Data-driven hybrid petri-net based energy consumption behaviour modelling for digital twin of energy-efficient manufacturing system

Energy (Oxford), 2022-01, Vol.239, p.122178, Article 122178

2022

Volltextzugriff (PDF)

Towards abstraction of computational modelling of mammalian cell cycle: Model reduction pipeline incorporating multi-level hybrid petri nets

Journal of theoretical biology, 2020-07, Vol.496, p.110212-110212, Article 110212

2020

Volltextzugriff (PDF)

Hybrid Petri Nets for Modeling and Analysis of Microgrid Systems

IEEE/CAA journal of automatica sinica, 2016-10, Vol.3 (4), p.349-356

2016

Volltextzugriff (PDF)

Colouring fuzziness for systems biology

Theoretical computer science, 2021-07, Vol.875, p.52-64

2021

Volltextzugriff (PDF)

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking

BMC bioinformatics, 2019-04, Vol.20 (Suppl 4), p.173-23, Article 173

2019

Volltextzugriff (PDF)

Coloured fuzzy Petri nets for modelling and analysing membrane systems

BioSystems, 2022-02, Vol.212, p.104592-104592, Article 104592

2022

Volltextzugriff (PDF)

Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks

Computational biology and chemistry, 2018-10, Vol.76, p.87-100

2018

Volltextzugriff (PDF)

A Control Approach Based on Colored Hybrid Petri Nets and (Max, +) Algebra: Application to Multimodal Transportation Systems

IEEE transactions on automation science and engineering, 2020-07, Vol.17 (3), p.1208-1220

2020

Volltextzugriff (PDF)

Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models

BMC systems biology, 2017-07, Vol.11 (1), p.71-71, Article 71

2017

Volltextzugriff (PDF)

Modelling and simulation of energy consumption of ceramic production chains with mixed flows using hybrid Petri nets

International journal of production research, 2018-01, Vol.56 (8), p.3007-3024

2018

Volltextzugriff (PDF)

Event-triggered hybrid control based on multi-agent system for microgrids

IET generation, transmission & distribution, 2014-12, Vol.8 (12), p.1987-1997

2014

Volltextzugriff (PDF)

Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights

Nonlinear analysis. Hybrid systems, 2018-02, Vol.27, p.191-212

2018

Volltextzugriff (PDF)

Cloud-Edge Collaboration Based Distribution Network Reconfiguration for Voltage Preventive Control

IEEE transactions on industrial informatics, 2023-12, Vol.19 (12), p.1-10

2023

Volltextzugriff (PDF)

Analysis of Pattern Formation by Colored Petri Nets With Quantitative Regulation of Gene Expression Level

IEEE/ACM transactions on computational biology and bioinformatics, 2022-01, Vol.19 (1), p.317-327

2022

Volltextzugriff (PDF)

VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology

BioSystems, 2021-12, Vol.210, p.104531-104531, Article 104531

2021

Volltextzugriff (PDF)

Hybrid Petri nets with general one-shot transitions

Performance evaluation, 2016-11, Vol.105, p.22-50

2016

Volltextzugriff (PDF)

1 – 25 von 646

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(281)
Mit Volltextzugriff
(541)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(389)
Technology
(367)
Petri Nets
(364)
Computer Science
(203)
Hybrid Systems
(162)
Engineering
(156)
Automation & Control Systems
(129)
Engineering, Electrical & Electronic
(87)
Hybrid Petri Nets
(87)
Computer Science, Theory & Methods
(67)
Mathematical Model
(67)
Computer Science, Artificial Intelligence
(65)
Mathematical Models
(65)
Petri Net
(64)
Simulation
(63)
Computer Simulation
(57)
Hybrid Petri Net
(57)
Computer Science, Information Systems
(52)
Computer Science, Interdisciplinary Applications
(52)
Modelling
(50)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(3)

Menü

Weitere Dienste

Einstellungen

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets

First-order hybrid Petri nets. An application to distributed manufacturing systems

Petri Net Modeling of the Cooperation Behavior of a Driver and a Copilot in an Advanced Driving Assistance System

Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques

Hybrid and Hybrid Adaptive Petri Nets: On the computation of a Reachability Graph

Symbolic state-space exploration meets statistical model checking

Modelling and simulation of a bottling plant using hybrid Petri nets

Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines

Data-driven hybrid petri-net based energy consumption behaviour modelling for digital twin of energy-efficient manufacturing system

Towards abstraction of computational modelling of mammalian cell cycle: Model reduction pipeline incorporating multi-level hybrid petri nets

Hybrid Petri Nets for Modeling and Analysis of Microgrid Systems

Colouring fuzziness for systems biology

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking

Coloured fuzzy Petri nets for modelling and analysing membrane systems

Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks

A Control Approach Based on Colored Hybrid Petri Nets and (Max, +) Algebra: Application to Multimodal Transportation Systems

Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models

Modelling and simulation of energy consumption of ceramic production chains with mixed flows using hybrid Petri nets

Event-triggered hybrid control based on multi-agent system for microgrids

Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights

Cloud-Edge Collaboration Based Distribution Network Reconfiguration for Voltage Preventive Control

Analysis of Pattern Formation by Colored Petri Nets With Quantitative Regulation of Gene Expression Level

VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology

Hybrid Petri nets with general one-shot transitions

Suchergebnisse filtern