Property-preserving petri net process algebra in software engineering /

Show other versions (1)

In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct - possessing the desirable properties and free from undesirable ones. However, the operators...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Huang, Hejiao
Format: Electronic eBook
Language:Inglés
Published: Singapore : World Scientific, ©2012.
Subjects:
System design.
Petri nets.
Conception de systèmes.
Réseaux de Pétri.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security > General.
Online Access:Texto completo
Table of Contents:
  • Preface; Contents; 1. Introduction; 1.1 This Book's Approach for Component-Based System Design; 1.2 Background Information and Main Features of PPPA; 1.3 Organization of This Book; 2. Fundamentals on PPPA and Related Work; 2.1 Preliminaries and Basic Properties of Petri Nets; 2.2 General Approaches for Verification; 2.2.1 Verification via reachability analysis; 2.2.2 Verification via characterizations or problem conversion; 2.2.3 Verification via property-preserving transformations; 2.3 Related Work and Discussion; 2.3.1 Reviews on property-preserving refinements for Petri nets.

Similar Items