Orthomodular Lattices in Occurrence Nets

Luca Bernardinello, Lucia Pomello, Stefania RombolĂ . Orthomodular Lattices in Occurrence Nets. In Giuliana Franceschinis, Karsten Wolf, editors, Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Volume 5606 of Lecture Notes in Computer Science, pages 163-182, Springer, 2009. [doi]

Abstract

Abstract is missing.