#will contain some variables

open_list = []
closed_list = []
solutions = []

#storing the information of the synchronous Product Net
incidence_matrix = []
init_mark_vector = [] 
final_mark_vector = []
