Download or read book Property-Preserving Petri Net Process Algebra in Software Engineering written by Hejiao Huang and published by World Scientific. This book was released on 2012 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: Annotation In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume presents a component-based methodology for the creation and verification of design specifications.