4.1.6. Последовательности запусков

Другой, предложенный к анализу подход основан не на позициях, а на последовательностях запусков переходов, т. е. связан с активностью, поскольку уместен вопрос: может ли переход быть запущен (иначе, не является ли он пассивным)? В более общем случае можно потребовать определить, возможна ли заданная последовательность запусков переходов или возможна ли какая-либо последовательность из множества последовательностей запусков. В сети Петри на рис. 4.8, например, взаимное исключение было бы нарушенным, если бы могла осуществиться последовательность ' t3t9 или <4<10, или, более общо, если бы могла возникнуть последовательность taat9, где а — произвольная последовательность запусков, не включающая <4. Эти вопросы анализа приводят к понятию языков сетей Петри и будут исследованы более детально в гл. 6.