Algorytm przeszukiwania tabu dla problemu znajdowania podzbiorów kluczowych tranzycji w modelach biologicznych opartych na sieciach Petriego