Update formalism.md

This commit is contained in:
Dmitry 2025-03-14 21:13:18 +03:00 committed by GitHub
parent 1a3896b785
commit ff55a06fdd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -7,7 +7,7 @@
### Математический формализм workflow (строгий формализм)
Вычисляет следующий шаг выполнения алгоритма (workflow), логику движения маркера по схеме процесса
Вычисляет следующий шаг выполнения алгоритма (workflow), алгебраически формализует логику движения маркера по схеме процесса
- [WF2M сеть. Формализм и математика workflow](https://habr.com/ru/articles/781124/)
- [algebraic Petri net](https://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D1%81%D0%B5%D1%82%D1%8C_%D0%9F%D0%B5%D1%82%D1%80%D0%B8)
- BPMN \ YAWL ??