Local configuration and basic marking

• LC of transition instance t: smallest set of transition instances required to fire t

• BM of LC of t: set of places marked after LC of t

...

...

...

t

Previous slide

Next slide

Back to first slide

View graphic version