پاورپوينت طراحی رؤيتگر، کنترل کننده برای سيستم های رويداد گسسته با استفاده از پتری نت