Hejiao Huang

• Property-Preserving Petri Net Process Algebra in Software Engineering
• Property-Preserving Petri Net Process Algebra in Software Engineering; Property-Preserving Petri Net Process Algebra in Software Engineering