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