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.... undesirable properties. 2.2.2 Verification via characterizations or problem conversion Sometimes, direct verification (i.e., verifying a property or a statement according to its ... Usually, a characterization may appear in the form of an algebraic equation or inequality [BES (1987); DES (1998b); STC (1998)]. ... [MUR (1989)] A net is conservative if and only if there exists a |P|-vector or Z 1 such that crV I 0.
|Title||:||Property-Preserving Petri Net Process Algebra in Software Engineering|
|Author||:||Hejiao Huang, Li Jiao, To-Yat Cheung|
|Publisher||:||World Scientific - 2012|