Petri nets - تیک4