Clash

Petri nets

• strong in concurrency

• precise semantics

• lack of compositionality

Reverse Engineering

• for conventional applications

• informal diagrams

• component analysis

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen