ペトリネットであれば
petorinettodeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of ペトリネット

1. If Petri nets; When Petri nets

Ba Conditional