پیش سنتز شبکه های پتری براساس چرخه اول و مسیرهای فاصله

Various interdependencies between these properties will be revealed. The prime cycle property and the distance path property will be shown to imply other ones. This allows pre-synthesis to be organised in an efficient way, because implied properties do not need to be checked if the properties they are implied by are already checked.