Implement Heap Model and Enhancements to untimed_PN
Hi @davide_zorzenon,
I have submitted a merge request that addresses the current issue and am looking forward to your valuable feedback.
This is is the Merge Request: control/discrete-event-systems/petritub!9 (closed)