Well-structured transition system (source code)

= Well-structured transition system
{wiki=Well-structured_transition_system}