ParticipantList - can remove projected participant, but without scanning the protocol, it would not be possible to know what other participants should remain in the list.
Choice (or any other located activity) - could be located at a participant not technically included in the projected protocol - but could simply be that if the named participant is not the located participant, then that is enough - or possibly if the located participant is not defined, then that should be assumed to mean a remote participant.
Choice when projected, representing a single path, with no preceding or following activities, should the choice be filtered out?
Some questions:
ParticipantList - can remove projected participant, but without scanning the protocol, it would not be possible to know what other participants should remain in the list.
Choice (or any other located activity) - could be located at a participant not technically included in the projected protocol - but could simply be that if the named participant is not the located participant, then that is enough - or possibly if the located participant is not defined, then that should be assumed to mean a remote participant.
Choice when projected, representing a single path, with no preceding or following activities, should the choice be filtered out?