Efficient algorithm for liveness/safeness analysis of free-choice nets in a Petri net tool: HiPS

Petri nets are a graphical and mathematical modeling tool used for discrete event systems. Our research group has developed HiPS, which is a tool for the design and analysis of Petri nets. HiPS has some analysis capabilities, such as T-invariant analysis, but is missing the ability to analyze some important properties. In this research, we propose and implement parallel algorithms that analyze the liveness and safeness properties of free-choice nets, which are two of the most important properties of Petri nets.