سیستم هوشمند کنترل ترافیک دریایی، شبکه پتری رنگی، قابلیت اطمینان، دسترس پذیری، مدلهای رسمی

ارائه یک مدل پویا به کمک شبکه‌های پتری رنگی از سیستم دفاعی نیروی دریایی با بهره‌مندی از سیستم هوشمند کنترل ترافیک