Property-preserving Petri Net Process Algebra In Software Engineering - Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China) a Jiao, Li (Chinese Academy Of Sciences, China) a Cheung, To-yat (City Univ Of Hong Kong, Hong Kong) a Mak, Michael Wai Ming (The Hong Kong a Shanhai Banking Corp Ltd, Hong Kong)

In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This book offers a component-based methodology for the creation and verification of design specifications. The methodology is presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA).