Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Condensed state spaces for symmetrical coloured Petri nets
Formal Methods in System Design - Special issue on symmetry in automatic verification
A symbolic reachability graph for coloured Petri nets
Theoretical Computer Science
Proceedings of the 30th conference on Winter simulation
Simulation optimization using tabu search
Proceedings of the 32nd conference on Winter simulation
A Generalised Sweep-Line Method for Safety Properties
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Hi-index | 0.00 |
Scheduling of manufacturing or logistic processes takes high importance as a key factor to improve competitiveness in industrial systems. The state space analysis of Timed Coloured Petri Nets is an accepted simulation-optimization approach which suffers from the state explosion problem which makes difficult to develop approaches that ensure optimality when used as an optimization approach. In this paper it is presented an approach which is a hybrid from depth-first search approaches with a time line approach. The algorithm first finds a feasible path and afterwards it re-evaluates the state space in a time driven basis in order to improve its efficiency for finding optimal values of the model when time is used as the cost function.