1. Modified code in run method to allow partial order reduction (untimedPOR) to be applied on multiple LPNs. 2. For POR on multiple LPNs, new pop-up windows were added to allow trace-back to be used for ample set generation and cycle closing checks. 3. Added code to allow option multipLPNs to be saved and loaded.
1. Modified code in run method to allow partial order reduction (untimedPOR) to be applied on multiple LPNs.
2. For POR on multiple LPNs, new pop-up windows were added to allow trace-back to be used for ample set generation and cycle closing checks.
3. Added code to allow option multipLPNs to be saved and loaded.

MyersResearchGroup/iBioSim,MyersResearchGroup/iBioSim,MyersResearchGroup/iBioSim