Petri nets for systems engineering : a guide to modeling, verification, and applications /

Benzer Materyaller

• Advances in verification of time petri nets and timed automata : a temporal logic approach /
  Yazar:: Penczek, Wojciech
  Baskı/Yayın Bilgisi: (Springer, 2006.)
• Modelling and analysis of hybrid supervisory systems : a petri net approach /
  Yazar:: Villani, Emilia
  Baskı/Yayın Bilgisi: (Springer, 2007.)
• Sadeliğin yasaları /
  Yazar:: Maeda, John
  Baskı/Yayın Bilgisi: (Butik Yayıncılık, 2017.)
• Sistem dinamiğine giriş /
  Yazar:: Shearer, Jesse Lowen
  Baskı/Yayın Bilgisi: (Bilim Teknik Yayınevi, 1984)
• Introduction to Industrial and systems engineering /
  Baskı/Yayın Bilgisi: (Prentice Hall, 1993.)