Comments on "deadlock prevention policy based on petri nets and siphons"
Küçük Resim Yok
Tarih
2004
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
A deadlock prevention policy for a class of Petri nets S3 PR was proposed. A liveness-enforcing Petri net supervisor could be obtained by adding monitors to the plant net model. The approach could generate a correct supervisor with more permissive behavior than the existing methods in Ezpeleta and Li and Zhou, where the same class of Petri nets were dealt with. The obtained additional monitors and related arcs were shown and the net supervisor produced was live with 12656 reachable states.
Açıklama
Anahtar Kelimeler
Kaynak
International Journal of Production Research
WoS Q Değeri
Q2
Scopus Q Değeri
Cilt
42
Sayı
24
