About Me

Friday, October 3, 2008


Lecturer went through forcing and disabling of actions using interleaving and and concurrent parallelism. Well formed adapter only has one forced transition from a state.

A* is the closure set made up of recusive concatenation of previous strings: Aø U A1 U A2 U ...

Supervisory control. Forced simulation produces well formed adapters. Forced cycles in adapter by supervisory control.

Composed and transmitted from my iPod Touch