Added the following message to the user interactive window for entering the maximal number of variables allowed in one component for LPN decomposition: the number of variables in the smallest process (process with the least number of variables).
Added the following message to the user interactive window for entering the maximal number of variables allowed in one component for LPN decomposition:
the number of variables in the smallest process (process with the least number of variables).

MyersResearchGroup/iBioSim,MyersResearchGroup/iBioSim,MyersResearchGroup/iBioSim