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?
17/3/2014
30
CE-653 - Micropipeline
Templates