User Tools

Site Tools


overview:screenshots

Screenshots

Modelling and verification of concurrent algorithms with Petri Nets

Instruction set synthesis using Conditional Partial Order Graphs

Specification and synthesis of speed-independent controllers based on Signal Transition Graphs and Circuit Petri nets

Modelling self-timed pipelines with Spread-token and Counterflow execution semantics using Dataflow Structures