Regions (Nielsen et al. ‘92)

• Region = set of states r of TS s.t. each event a

either enters, or exits or does not cross it

• Pre-region: a exits r
• Post-region: a enters r

• Excitation region: all states exited by a

• Any region is a union of minimal regions

a

a

enter

exit

non-cross

excitation region

Previous slide

Next slide

Back to first slide

View graphic version