User Tools

Site Tools



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