Где найти хорошую вводную литературу и статьи по верификация сетевых протоколов?

Question

[stupid]

Наша команда разрабатывает бэкэнд на микросервисной архитектуре. Микросервисы общаются между собой с помощью сообщений - по сути это свой протокол прикладного уровня.
Со временем этот протокол усложнился, и захотелось иметь какой-то способ его формального описания и верификации.

Помню, в институте рассказывали, что можно для этих целей использовать сети Петри.

Подскажите, пожалуйста, хорошую вводную литературу или статьи по сетям Петри и в целом по методам верификации протоколов.