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). The targeted users of this tool are people modeling com-plex systems with SCPNs in TimeNET, who want to find parameter sets that are optimal under a chosen function. It allows users to create and simulate sets of SCPNs and to run different optimization algorithms based on parameter variation. The development of this tool was motivated by the need to automate and speed up tests of heuristic optimization algorithms. A result caching mechanism is used to avoid recalculations
Effective scheduling of operations in batch plants has a great potential for high economic returns, ...
We report the results of an investigation aiming at experimenting the use of Generalized Stochastic ...
Discrete event systems in applications, such as industry and supply chain, may show a very complex b...
In this paper a novel tool for simulation-based optimization and design-space exploration of Stochas...
Abstract—Automatic design optimization of complex systems is a time-consuming task. This paper prese...
Abstract: Stochastic colored Petri nets are an established model for the specification and quantitat...
We present a reachability graph-based search optimization tool for scheduling.Motivated by the lack ...
The effective scheduling of operations in batch plants has a great potential for high economic retur...
Integer timed Petri nets (ITPN) are applied in this work to model automated manufacturing systems, w...
This work proposes a mathematical programming (MP) representation of discrete event simulation of ti...
Abstract. Colored Petri Nets (CPNs) extend the classical Petri net for-malism with data, time, and h...
A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorit...
This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluati...
This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluati...
Colored Petri Nets (CPNs) extend the classical Petri net formalism with data, time, and hierarchy. T...
Effective scheduling of operations in batch plants has a great potential for high economic returns, ...
We report the results of an investigation aiming at experimenting the use of Generalized Stochastic ...
Discrete event systems in applications, such as industry and supply chain, may show a very complex b...
In this paper a novel tool for simulation-based optimization and design-space exploration of Stochas...
Abstract—Automatic design optimization of complex systems is a time-consuming task. This paper prese...
Abstract: Stochastic colored Petri nets are an established model for the specification and quantitat...
We present a reachability graph-based search optimization tool for scheduling.Motivated by the lack ...
The effective scheduling of operations in batch plants has a great potential for high economic retur...
Integer timed Petri nets (ITPN) are applied in this work to model automated manufacturing systems, w...
This work proposes a mathematical programming (MP) representation of discrete event simulation of ti...
Abstract. Colored Petri Nets (CPNs) extend the classical Petri net for-malism with data, time, and h...
A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorit...
This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluati...
This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluati...
Colored Petri Nets (CPNs) extend the classical Petri net formalism with data, time, and hierarchy. T...
Effective scheduling of operations in batch plants has a great potential for high economic returns, ...
We report the results of an investigation aiming at experimenting the use of Generalized Stochastic ...
Discrete event systems in applications, such as industry and supply chain, may show a very complex b...