Project management through PETRI nets

SALUM L.

35th International Conference on Computers and Industrial Engineering, ICC and IE 2005, İstanbul, Türkiye, 19 - 22 Haziran 2005, ss.1669-1674 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Basıldığı Şehir: İstanbul
  • Basıldığı Ülke: Türkiye
  • Sayfa Sayıları: ss.1669-1674
  • Anahtar Kelimeler: CPM, PERT, Petri nets, Verification
  • Dokuz Eylül Üniversitesi Adresli: Evet

Özet

This paper shows how to use PNs for modeling and verifying project networks. By definition, all the activities must be processed exactly once to complete a project. This means all the transitions must fire exactly once, which verifies that the project can be completed.