Synthesis of Transition Systems from Quantum Logics

• Autorzy: Bernardinello L. , Ferigato C. , Pomello L. , Puerto Aubel A.

Identyfikatory

DOI

10.3233/FI-2017-1550

• Języki publikacji: EN

Abstrakty

EN

The set of elementary regions of a transition system, ordered by set inclusion, forms an orthomodular poset, also referred to as quantum logic, which is regular and rich. Starting from an abstract regular and rich quantum logic, one can construct an elementary transition system such that the orginal logic embeds into its set of regions, and which is saturated of transitions. We study the problem of selecting subsets of transitions on the same set of states, which generate the same set of regions.

Słowa kluczowe

EN

quantum logic; subset selection; orthomodular lattices; Hilbert space; isomorphism

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2017
• Tom: Vol. 154, nr 1/4
• Strony: 25--36
• Opis fizyczny: Bibliogr. 8 poz., rys.

Twórcy

autor

Bernardinello L.

• DISCo, Univ. di Milano–Bicocca, viale Sarca 336-U14, Milano, Italy

autor

Ferigato C.

• European Commission - Joint Research Center (JRC), via E. Fermi 2749, I-21027, Ispra (VA), Italy

autor

Pomello L.

• DISCo, Univ. di Milano–Bicocca, viale Sarca 336-U14, Milano, Italy

autor

Puerto Aubel A.

• DISCo, Univ. di Milano–Bicocca, viale Sarca 336-U14, Milano, Italy

Bibliografia

• [1] Eric Badouel, Luca Bernardinello, and Philippe Darondeau. Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series. Springer, 2015. doi:10.1007/978-3-662-47967-4.
• [2] Eric Badouel and Philippe Darondeau. Theory of regions. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Petri Nets, volume 1491 of Lecture Notes in Computer Science, pp. 529–586. Springer, 1996. doi:10.1007/3-540-65306-6_22.
• [3] Luca Bernardinello. Synthesis of net systems. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, volume 691 of Lecture Notes in Computer Science, pp. 89–105. Springer, 1993. doi:10.1007/3-540-56863-8_42.
• [4] Luca Bernardinello, Carlo Ferigato, and Lucia Pomello. An algebraic model of observable properties in distributed systems. Theor. Comput. Sci., 2003;290(1):637–668. URL https://doi.org/10.1016/S0304-3975(02)00046-4.
• [5] Andrzej Ehrenfeucht and Grzegorz Rozenberg. Partial (set) 2-structures. part I: basic notions and the representation problem. Acta Inf., 1990;27(4):315–342. doi:10.1007/BF00264611.
• [6] Andrzej Ehrenfeucht and Grzegorz Rozenberg. Partial (set) 2-structures. part II: state spaces of concurrent systems. Acta Inf., 27(4):343–368, 1990. doi:10.1007/BF00264612.
• [7] Petri CA. Concepts of net theory. In MFCS, Mathematical Institute of the Slovak Academy of Sciences, 1973 pp. 137–146.
• [8] Pavel Pták and Sylvia Pulmannová. Orthomodular Structures as Quantum Logics. Kluwer Academic Publishers, 1991. ISBN:8022402427, 9788022402422.