Abstract: A
colored-timed Petri net (CTPN) modeling technique is developed for
flexible assembly system (FAS). In particular, one section is
devoted to the deadlock model based on the Petri net. The rule
of the deadlock error recovery is given. Through the analysis of
the behavioral properties of the FAS with the deadlock recovery
model, the deadlock problem would be solved in the system.
Key words: Colored-timed Petri net FAS
Deadlock
Manuscript
received on January 11, 2001; revised manuscript July 20, 2001
|