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