Convert Safe Petri Nets to (Max,+)
- Safety Check: Ensure only safe Petri Nets are processed.
- Heap Model: Refer to the paper for the Class Heap model. Within the HeapModel, implement the function Heap2NPA(Heap) that returns MPA (max plus automata).
- TPN to Heap Conversion: In the TPN class, develop the TPN2Heap function that takes a TPN and returns the HeapModel.