Прервано по какой-либо причине Действие с нулевой длительностью представляет собой событие. Процесс функционирования сложной дискретной системы строится как временная последовательность действий и нерегулярных событий. Действие может начинаться только в том случае, если значение параметров его релевантных ресурсов удовлетворяет необходимому условию. В языке используется понятие виртуального действия, которое не привязано ни к началу, ни к окончанию, а привязано только к необходимому условию начала действия. Множество виртуальных действий может быть разбито на небольшое число подмножеств, имеющих одинаковую природу, т.е. одинаковую логику взаимодействия ресурсов и различаются лишь конкретно участвующими в них ресурсами. Для формального описания логики однотипных виртуальных действий используются понятия операций. Операция – это фактически процедура, у которой формальные параметры условия выполнения и алгоритмы, а в качестве фактических параметров выступают подмножества ресурсов. При задании фактических ресурсов элементами соответствующих подмножеств однотипных ресурсов из операции получается виртуальное действие. Т.е. операция отражает логику взаимодействия ресурсов. Всякий раз, когда состояние соответствует условию срабатывания виртуального действия, происходит действие описывающее соответствующей операции с различными временами начала и окончания. Следовательно, операция описывает, как происходит действие или виртуальное действие и с какими множествами релевантных ресурсов. Т.е. что может произойти в сложной системе при определенных условиях. А действие |