Micropipeline 2-Stage Ring
}
PTnet Cycles with
no tokens
è
Deadlock
!!!
}
Commoner’s
Theorem:
}
Deadlocked
systems include
an unmarked
cycle
}
Can I find a valid
marking to make it
live
?
