Без заголовка

Насчет "естественной логики" для описания процессов нужно обязательно познакомиться с точкой зрения Conrad Bock -- поглядите, например, презентации по PSL на conradbock.org (основной постулат там как раз в том, что "народное представление времени отнюдь не соответствует машинам состояний и прочим экзотическим придумкам компьютерщиков. Поэтому есть требования к выражению процессов людьми". В итоге BPMN принял эти требования, и будет распространяться как пожар: во всякие "машины состояний" он будет превращаться компиляторами, а люди будут иметь дело только с отношениями "позже" или "раньше". Вполне возможно, что для :2 и :7 нужно сделать что-то похожее: для :7 выбрать легко понимаемые народом способы презентации, а для :2 оставить дикий математико-логический вид.