Non-interference. in transitive or intransitive form. is defined here over unbounded (Place/Transition) Petri nets. The definitions are adaptations of similar. https://chefesquipmenters.shop/product-category/covers-food-storage-boxes/