Implementation of the heap model and additions to untimed_PN
requested to merge control/discrete-event-systems/bsc-thesis-code/petri-tub-max-plus-automata:creat_TPN_heap into main
This commit introduces a new heap data structure model and adds a time property to the untimed_PN component. Additionally, it includes a safety check for the timed Petri net (TPN) to ensure reliable operation.