Other results for LSFC nets
Let t1 and t2 be two transitions of a live and safe Free-Choice net.
Then t1 and t2 are:
- sequential if
there exists a simple cycle to which both belong
- concurrent if
they are not ordered, and
there exists an MG component to which both belong
- conflicting otherwise