ペトリネットだったら
petorinettodattara

Noun
Da Copula

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

1. If Petri nets; When Petri nets

Tara Conditional