Detailed semantics of Links/Transitions

["Moberg Dale" <dmoberg@axway.com>]

1.      Detailed semantics of Links/Transitions

IMHO, it is not completely clear, when a Transition or Link is fired. The condition guards/expression that can be defined on links are just enablers and if I understand the ebBP standard right, there could be multiple Links that are enabled at the same time. So,

1.      If the guard of a Link is true, does that link have to be fired or is this optional?

2.      If there is no guard at all, is a Link fired then immediately or at any point in time?

3.      If there are multiple Links enabled at the same time, then any of the enabled Links is chosen non-deterministically to be fired, correct?
Could it also be the case that there are multiple enabled Links and non is fired?