Property-Preserving Petri Net Process Algebra In Software Engineering by Hejiao Huang & Li Jiao