TY - BOOK AU - Huang Hejiao Et Al TI - Property-Preserving Petri Net Process Algebra in Software Engineering SN - 9789814324298 PB - World Scientific KW - Computer Science UR - https://www.worldscientific.com/worldscibooks/10.1142/7919#t=toc ER -