Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets

Keyphrases

• Semiconductors 100%
• Systems-based 100%
• Tracking System 100%
• Deadlock Avoidance Policy 100%
• Deadlock-free Scheduling 100%
• Cassette 100%
• Timed Colored Petri Nets 100%
• Modeling Tools 50%
• Lower Layer 50%
• High Performance 50%
• Efficient Modeling 50%
• Controller 50%
• Real-time Scheduling 50%
• Wafer 50%
• Deadlock 50%
• Resource-oriented Petri Net 50%
• Heuristic Rules 50%
• Scheduling Approach 50%
• Failure-prone 50%
• Module Failure 50%

Computer Science

• Deadlock 100%
• time petri net 100%
• Deadlock Avoidance 66%
• Real Time Scheduling 33%
• Petri Net 33%
• Effective Modeling 33%