Dynamically Closed Sets in Occurrence Nets

We presents a selection of results given in [1]. The semantics of concurrent processes can be defined in terms of partially ordered sets. Occur- rence nets, which belong to the family of Petri nets, model concurrent pro- cesses as partially ordered sets of occurrences of local states and local events. Here, we consider occurrence nets with forward conflicts, modelling families of processes. We study two closure operators on the elements of such occurrence nets and in particular, we show under which conditions they coincide and form complete, algebraic orthomodular lattices