simona
simona copied to clipboard
Changed implementation of actor naming
Resolves #103
As hinted to in #103, I would like an actor name generation better that is using more meaningful names (not less, as the generation time in nanoseconds has no meaning to the actor). Maybe we can use system participant ids here, if possible?
!test