Contents
}Fundamental
Definitions
}Net, Marking, etc.
}PTnet Classes
}Siphons/Deadlocks and
Traps
}Handles
}S-Covers and
T-Covers
}An Algorithm for
S-Covering FCPTnets
20/3/2014
2
CE-653 - PTnet Theory and some
Algorithms