Extracts the transitions from a Petri Net

transitions(PN)

Arguments

PN

A Petri Net