+ delegations
comment changes
minor change
Correction of incorrect Δ_if_ts_fire_once to Δ_if_tsa_fire_once - because A (assignment) transition do not act through system state Δ, but via direct enforcement of marking of their codomain places in the marking vector. This induced several changes in the supply chain of the renamed method, and thus deserved a mini version bump.