В кои-то веки, у меня есть конкретный вопрос. Можете растопырить пальцы и блистать эрудицией (это я Павиа пишу).

Хотел я описать форму с фоновым процессом, точнее состояния этой формы. Ну как - ДКА, переходы. Потом пришел к выводу, модель не точна. Действующее лицо не одно (поток UI), а два (поток UI и поток вычислений, который надо прерывать). Совершенно типовая задача в общем, запуск на компиляцию, прерывание сборки.

А раз задача типовая, значит и её моделирование с учётом могопоточности при помощи сетей Петри должно быть где-то подробно и детально расписано. Искать лень. Никто не видел подобного?

Отредактировано Лис (2017-12-09 19:36:15)