Elementary transition systems

• A TS is elementary if each state is uniquely covered with regions

• Elementarity test:

  Excitation closure: intersection of pre-regions = excitation region
  
  Event effectiveness: excitation region is not empty

a

a

b

b

c

a

a

b

b

c

Elementary

Non-elementary

Previous slide

Next slide

Back to first slide

View graphic version