Пи-исчисление: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
→‎Применение: Пример бизнес-процесса
Строка 99:
:: кухня(заказГотов,заказНеГотов).{{overline|заказГотов}}<"борщ">
: Ресторан=
:: (newν зкз,клнт,готов,неГотов,кух)
:: Клиент(зкз,клнт)|ОфициантПринимаетЗаказ(зкз,готов,неГотов,кух)|Кухня(кух,готов,неГотов)