Чем отличается свойство сохраняемости от безопасности в сетях Петри?

Свойство сохраняемости и безопасности в сетях Петри отличаются по определению.

Безопасность — частный случай более общего свойства ограниченности. swsu.ru old-vt.chuvsu.ru Если позиция безопасна, то число фишек (меток) в ней равно 0 или 1. swsu.ru С точки зрения аппаратной реализации такую позицию можно реализовать одним триггером (с двумя устойчивыми состояниями). swsu.ru

Сохраняемость — свойство, которое обеспечивает постоянное число фишек в функционирующей сети, при любой последовательности смены разметок. swsu.ru Сохраняемость характерна для сетей, в которых фишки являются ресурсами и логично, что их число должно оставаться постоянным. dspace.tltsu.ru

Таким образом, безопасность фокусируется на ограничении количества фишек в конкретной позиции, а сохраняемость — на общем состоянии числа фишек в сети в процессе её работы.