Performance modeling of automated manufacturing systems
Performance modeling of automated manufacturing systems
Modular state space exploration for timed petri nets
International Journal on Software Tools for Technology Transfer (STTT)
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
A key event path analysis approach for integrated systems
Modelling and Simulation in Engineering
Hi-index | 0.00 |
Abstract: The paper deals with the problem of timed state space generation and exploration in the frame of simulation-optimization approach for discrete-event systems. Coloured Petri net representation of a system is considered and corresponding techniques of timed state space generation and timed simulation are addressed. It is shown that the established simulation techniques do not perform adequately in some application relevant examples since in general, only a subset of a timed state space of a simulated system is represented. Two examples are provided to illustrate the effect of timed state space reduction. While the optimal solution is preserved within the reduced state space in one example, in the second example this is not the case and the optimum is missed. This indicates that the timed simulation technique has to be carefully designed in order to be suitable for the simulation-optimization approach.