Abstract
A performance evaluation of a developed search algorithm using Petri nets, extended with dispatching rules and AI techniques, is conducted. The search algorithm is based on the branch-and-bound principle and backtracking. A user control factor, based on AI techniques, is defined and added to the search algorithm to provide a trade-off between the solution quality and the search effort. The effects of extending the algorithm with dispatching rules and the user control factor (UCF) on the system and search performances are investigated. Two examples from the literature are used for illustration and comparison.
Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets
