طراحی رؤیتگر-کنترل کننده با استفاده از پتری نت