TimeNET Optimization Environment

TimeNET Optimization Environment

In this paper a novel tool for simulation-based optimization and design-space exploration of Stochastic Colored Petri nets (SCPN) is introduced. The working title of this tool is TimeNET Optimization Environment (TOE). Targeted users of this tool are people modeling complex systems with SCPNs in Tim...

Full description

Bibliographic Details
Main Authors:	Christoph Bodenstein, Armin Zimmermann
Format:	Article
Language:	English
Published:	European Alliance for Innovation (EAI) 2015-12-01
Series:	EAI Endorsed Transactions on Cognitive Communications
Subjects:	scpn simulation based optimization petri nets
Online Access:	http://eudl.eu/doi/10.4108/icst.valuetools.2014.258193

Similar Items

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
by: L. W. Dworza´nski, et al.
Published: (2015-03-01)

Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
by: M. G. Dorrer, et al.
Published: (2015-02-01)

Qualifications of Petri nets for modeling of logistical systems
by: Petr Jedlička
Published: (2006-01-01)

SIMULATION MODELING OF IT PROJECTS BASED ON PETRI NETS
by: Александр Михайлович ВОЗНЫЙ, et al.
Published: (2015-05-01)

Logic Petri Net Synthesis for Cooperative Systems
by: Wenjing Luan, et al.
Published: (2019-01-01)

Petri nets and their applications
by: Jin, Wei
Published: (2011)

Identification of unknown petri net structures from growing observation sequences
by: Ruan, Keyu
Published: (2016)

TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays
by: Ádám Horváth, et al.
Published: (2016-11-01)

Composition of Logical Petri Nets and Compatibility Analysis
by: Wenjing Luan, et al.
Published: (2017-01-01)

Review on Petri Net Modeling and Analysis of a Smartphone Manufacturing System
by: Yi-Nan Lin, et al.
Published: (2020-01-01)

Existence of Forbidden Digraphs for Crisp Boolean Petri Nets
by: Gajendra Pratap Singh, et al.
Published: (2020-02-01)

Extracting Petri Modules From Large and Legacy Petri Net Models
by: Reggie Davidrajuh
Published: (2020-01-01)

Approximating Bisimulation in One-counter Nets
by: V. A. Bashkin
Published: (2011-12-01)

A Simulation-Based Optimization Approach for Reliability-Aware Service Composition in Edge Computing
by: Jiwei Huang, et al.
Published: (2020-01-01)

Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method
by: Liang Qi, et al.
Published: (2020-01-01)

Modelling Inteligent Systems with Level Petri Nets
by: Corina BOCĂNEALĂ
Published: (2008-12-01)

Modeling and Simulation of Lane Keeping Support System Using Hybrid Petri Nets
by: Padilla, Carmela Angeline C.
Published: (2019)

T-invariants for jumping Petri nets
by: Cristian Vidrascu
Published: (2001-12-01)

Dynamical Scheduling and Robust Control in Uncertain Environments with Petri Nets for DESs
by: Dimitri Lefebvre
Published: (2017-10-01)

Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis
by: Bonhomme, P., et al.
Published: (2023)

Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models
by: George Benwell, et al.
Published: (1994-11-01)

A geometric approach to integer optimization and its application for reachability analysis in Petri nets.
Published: (2009)

Formulation of Cell Petri Nets
by: Jitsukawa Mitsuru, et al.
Published: (2013-12-01)

Marine Traffic Optimization Using Petri Net and Genetic Algorithm
by: Anita Gudelj, et al.
Published: (2012-11-01)

Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping
by: Pau Fonseca i Casas, et al.
Published: (2020-02-01)

Predicting Student Grades Based on Their Usage of LMS Moodle Using Petri Nets
by: Zoltán Balogh, et al.
Published: (2019-10-01)

A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis
by: Dorota Formanowicz, et al.
Published: (2020-11-01)

Timed Petri Net Based Scheduling for Mechanical Assembly : Integration of Planning and Scheduling
by: OKUMA, Shigeru, et al.
Published: (1998)

Network Supplier Credit Management: Models Based on Petri Net
by: Yonggui Fu, et al.
Published: (2019-01-01)

A new method for converting extended version of petri nets to fuzzy extended markup language
by: Solmaz Soltani, et al.
Published: (2014-01-01)

[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO
by: GIOVANNI CORDEIRO BARROSO
Published: (2009)

A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study
by: Reggie Davidrajuh
Published: (2019-11-01)

Analysis of timed petri nets for reachability in construction applications/Petri laiko tinklų pasiekiamumo taikymo statyboje analizė
by: Khaled Nassar, et al.
Published: (2008-09-01)

Modeling and Simulation of Urban Traffic Network Using Colored Petri Nets
by: Khodakaram Salimifard, et al.
Published: (2016-10-01)

Improving the Strategy of Maintaining Offshore Wind Turbines through Petri Net Modelling
by: Rundong Yan, et al.
Published: (2021-01-01)

Petri Net Modeling of Outpatient Waiting Time for MRI Examination
Published: (2015)

Evaluation of software architecture using fuzzy color Petri net
by: Zohreh Shiriyan Dehkordi, et al.
Published: (2013-02-01)

The Ant Colony Algorithm Based on Logic Time Petri Nets and Application in Electronic-Commerce Logistics
by: Xinying Liu, et al.
Published: (2019-01-01)

Modeling of economic systems with Petri nets
by: Pavel Valeryevich Skorodumov
Published: (2014-09-01)

Modeling, analysis, and simulation of Muzima fingerprint module based on ordinary and time Petri nets
by: Eadara, Archana
Published: (2016)

Cannot write session to /tmp/vufind_sessions/sess_6pfajlhljsb3la43dufh638pmv