Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
| Year of publication: |
2007
|
|---|---|
| Authors: | Wu, Naiqi ; Zhou, Mengchu |
| Published in: |
OR spectrum : quantitative approaches in management. - Berlin : Springer, ISSN 0171-6468, ZDB-ID 20738857. - Vol. 29.2007, 3, p. 421-444
|