Ответ на »сообщение 5545« (Руслан Богатырев)
___________________________

Соседние действия в последовательности (потоке управления) синхронизируются друг с другом: окончание предшествующего с окончанием последующего.

Сорри. Соседние действия в последовательности (потоке управления) синхронизируются друг с другом: окончание предшествующего с началом последующего.

Ответ на »сообщение 5544« (Руслан Богатырев)
___________________________

Если поток управления не может "расслаиваться" (распараллеливаться), а всегда течёт по одному желобку, то даже вариативность (ветвление) управления не спасает от жёсткого порядка (трассы) исполнения.

Соседние действия в последовательности (потоке управления) синхронизируются друг с другом: окончание предшествующего с окончанием последующего. "Соседние" действия в наборе асинхронных действий (потоков управления) синхронизируются только в определённых точках (причин-следствий).

Ответ на »сообщение 5541« (Сергей Перовский)
___________________________

Вот тут у нас несовпадение терминологии: последовательность это не синхронность, а вот привязка к единицам времени - синхронность.

Я и толкую про то, что синхронность -- это привязка ко времени, а асинхронность -- к причине-следствию.

Время можно воспринимать по-разному. Можно дискретно, можно непрерывно. Сети Петри и КА чаще используются для работы (моделирования) дискретных систем. Дискретное время можно разбивать на интервалы. Длительность интервалов можно устанавливать одинаковую, можно -- разную (зависит от модели). Если мы говорим, что некая операция должна выполниться на счёт "раз", а другая -- на счёт "три", то мы устанавливаем свою временнУю шкалу, к которой и привязываем (с которой синхронизируем) операцию.

Если мы выполняем последовательность действий, в которой жёстко задан порядок (линейный), то мы автоматически привязываем эти действия к шкале времени (дискретного). Императивное программирование, в котором перечисление операторов автоматически означает жёсткий порядок следования, и есть пример подобной привязки ко времени (раньше, позже). Введите время выполнения каждой операции в неких условных единицах (тиках) и интервал между операциями (задержки). Получите модель с явным временем. Но даже если бы Вы это не вводили, время (при линейном порядке выполнения) ВСЕГДА присутствует. И к нему операции привязаны.

Если поток управления не может "расслаиваться" (распараллеливаться), а всегда течёт по одному желобку, то даже вариативность (ветвление) управления не спасает от жёсткого порядка (трассы) исполнения. Трасса по-прежнему чётко привязана к шкале времени. Если расслаивание возможно, то внутри расслоения время (дискретное, модерируемое) течёт по-разному. Иными словами, есть глобальные часы (по отношению к которым следим за всем вычислительным процессом), а есть локальные (в каждой параллельной ветви, которая суть последовательный поток управления). В итоге ветви должны слиться в точку последовательного ветвления.

Если порядком выполнения мы начинаем управлять опосредованно  -- не через связку "такт-интервал", а через готовность (выполнение условий/причин) расслоения, то время нас уже интересует вторично. Первичны условия (не одновременного, а асинхронного) выполнения действий (по мере созревания соответствующих условий).

P.S. В частном случае можно рассматривать трансформацию причин во время, в линейный порядок (в привязку к шкале времени). Ведь "сначала-потом" можно мыслить и как время, и как причину. Но нюанс в том, есть ли в этом "сначала-потом" расслоение управления (на разные асинхронные потоки).

Ответ на »сообщение 5525« (Beginner)
___________________________
У терморегулятора есть цель поддержания темпратуры?
Простенькая такая цель :) Но достаточно наглядная.
В любой системе с кибернетической обратной связью в том или ином виде присутствует цель.
Вот про обратную связь уже ближе.
Не просто ближе, а именно про то :)
Никакое управление невозможно, если неопределено, чего хотим добиться.
В простых системах цель присутствует в неявном виде.
Регулятор уровня воды поддерживает диапазон уровней заданный конструктивно.
Терморегулятор поддерживает температуру, заданную явно, но всего одним числом.
Система управления цехом явно получает очередную цель - суточное задание.
И на основе его анализа и сопоставления с имеющимися ресурсами формирует цели для конкретных исполнителей.

Ответ на »сообщение 5539« (Beginner)
___________________________

Почитал Вашу рецензию. Опять иерархии сетей Петри. Опять вложенность и вещь в себе имени Иммануила. Почему сети не могут взаимодействовать между собой по горизонтали?

Сети Петри -- это абстракции. Абстракции (любые) вполне могут взаимодействовать между собой, если того желает тот, кто оперирует этими абстракциями, из этих абстракций строит новые абстракции. Не вижу причин, почему Вам лично не заняться созданием новых абстракций, нового аппарата. Главное только понять -- ЗАЧЕМ: есть потребность, из любви к науке или развлечения ради?

Что касается иерархических сетей Петри -- это достаточно проработанный аппарат, который меня в интересующих меня задачах вполне устраивает. Если Вы хотите понять в чём суть такого аппарата, почитайте научную монографию В.Е.Котова "Сети Петри" (не всё же популярную литературу вроде Питерсона читать): http://www.europrog.ru/ilog.html#030407
Я её выложил одновременно с Питерсоном. Там есть глава 6 "Регулярные и иерархические сети". Заодно можно познакомиться с сетями-системами и сетями-процессами (глава 7).

Ответ на »сообщение 5521« (Руслан Богатырев)
___________________________
Синхронность здесь -- последовательность перехода из состояния в состояние. В единицу времени в автомате только одно состояние.
Вот тут у нас несовпадение терминологии: последовательность это не синхронность, а вот привязка к единицам времени - синхронность.
Вы эти варианты видимо вообще не различаете, а для меня это критическое отличие между тактовыми и событийными моделями. Повторюсь, именно так трактуют синхронность/асинхронность и электронщики.
Если же в модели нет понятия времени, то синхронность/асинхронность вообще смысла не имеют.
Давайте отвлечемся от матаппарата и посмотрим, чем же у нас отличается понятие ассинхронности.

Ответ на »сообщение 5537« (info21)
___________________________
Закольцованная -- о качестве (причем мелком).
Боюсь это тот случай, когда краткость не столько сестра таланта сколько мать непонимания.

Ответ на »сообщение 5534« (Руслан Богатырёв)
___________________________
Почитал Вашу рецензию. Опять иерархии сетей Петри. Опять вложенность и вещь в себе имени Иммануила. Почему сети не могут взаимодействовать между собой по горизонтали?
Почему боитесь ансамблей автоматов (это к Вашей реплике для С. Перовского)?

Ответ на »сообщение 5537« (info21)
___________________________
Если в системе вход однозначно задаёт выход, то это бедная система типа тупой автомат. Если состояние системы разное при одинаковых входах (имеет память), то она богатая. Без циклов типа триггерных это невозможно. Собственно, только на это я и намекал предложив почитать про схемотехнику. Никого портить глаза я не призывал :)

Ответ на »сообщение 5532« (Beginner)
___________________________

Ответ на »сообщение 5530« (info21)
___________________________
А вот есть мнение, что богатая, это закольцованная.


Богатое -- о количестве (причем большом).
Закольцованная -- о качестве (причем мелком).