Property-Preserving Petri Net Process Algebra in Software Engineering

ISBN-13: 9789814324281 / Angielski / Twarda / 2012 / 320 str.

Hejiao Huang

Opis

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).