Extensions of the theory of net bisimulation to Petri nets with silent moves, in the same line of weak bisimulation
or branching bisimulation on LTSs [1]}, [2]}, [3]},
are also left for future research. Some hints on how to do such extensions can be grasped from the way team bisimulation has been extended
to BPP nets with silent moves in [4]}.
