Prvky v Petriho sítích
místa (place, stav)
události (transition, přechod)
hrany (arc)
značky (token)
další rozšiřující prvky
Předchozí
Další