Dynamically Closed Sets in Occurrence Nets

We presents a selection of results given in "Closed sets in occurrence nets with conflicts.". The semantics of concurrent processes can be defined in terms of partially ordered sets. Occurrence nets, which belong to the family of Petri nets, model concurrent processes 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.

BERNARDINELLO Luca;  FERIGATO Carlo;  HAAR Stefan;  POMELLO Lucia; 

2015-01-22

University of Palermo

JRC82565