Index
Object Nets for the Design and Verification of Distributed and Embedded Applications
Ilmenau in Thuringia, Germany
Outline
Contradictory Views
Concurrent Object Nets (CON)
CON System Design
Platform Abstraction Framework (PAF)
Verification using Petri Nets
Object System Specification Inventory - OSSI
Electronic Car Stability System
Object Net Control Specification
Two Elementary Object Net Classes
A Part of the Corresponding Petri Net
Conclusions
|
Author: Juergen Nuetzel
|