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