An algebraic model of observable properties in distributed systems

Authors:
Luca Bernardinello;Carlo Ferigato;Lucia Pomello
Affiliations:
DISCO, Università degli Studi di Milano-Bicocca, via Bicocca degli Arcimboldi 8, I-20126 Milano, Italy;Emide-Emisfera R&D, Parco Tecnologico del Lago Maggiore, via dell'Industria, 25 I-28924 Verbania, Italy;DISCO, Università degli Studi di Milano-Bicocca, via Bicocca degli Arcimboldi 8, I-20126 Milano, Italy
Venue:
Theoretical Computer Science
Year:
2003

Citing 5
Cited 2

Partial (set) 2-structures. Part I: basic notions and the representation problem

Acta Informatica
Elementary transition systems

Selected papers of the Second Workshop on Concurrency and compositionality
A Category of Transition Systems and Its Relations with Orthomodular Posets

MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
Theory of Regions

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Synthesis of Net Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets

Transition systems without transitions

Theoretical Computer Science
On Orthomodular Posets Generated by Transition Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	5.23

Visualization

Abstract

We propose orthomodular posets, algebraic models of quantum logic, as a formal tool in concurrency theory. We discuss their characteristics and study mutual relations with two other models of distributed systems: condition event net systems, a basic class of Petri nets, and the transition systems modelling CE net system behaviour. Central results are an adjointness situation among the three models and a strict relationship between fundamental notions in the different considered frameworks such as the relations of incompatibility and concurrency. Furthermore, substructures of orthomodular posets, like Boolean subalgebras or centres are interpreted, respectively, as state machine components of CE net systems or synchronization structures.