@article(BFP03,
 author       = "Luca Bernardinello and Carlo Ferigato and Lucia Pomello",
 year         = "2003",
 title        = "An algebraic model of observable properties in distributed systems",
 journal      = "Theor. Comput. Sci.",
 volume       = "290",
 number       = "1",
 pages        = "637--668",
 doi          = "10.1016/S0304-3975(02)00046-4",
)
@article(BPR10,
 author       = "Luca Bernardinello and Lucia Pomello and Stefania Rombol\`a",
 year         = "2010",
 title        = "Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets",
 journal      = "Fundamenta Informaticae",
 volume       = "105",
 number       = "3",
 pages        = "211--235",
 url          = "http://dx.doi.org/10.3233/FI-2010-365",
)
@book(BF88,
 author       = "E. Best and C. Fernandez",
 year         = "1988",
 title        = "Nonsequential Processes--A Petri Net View",
 series       = "EATCS Monographs on Theoretical Computer Science",
 volume       = "13",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-642-73483-0",
)
@book(B79,
 author       = "G. Birkhoff",
 year         = "1979",
 title        = "Lattice Theory",
 publisher    = "American Mathematical Society; 3rd Ed.",
)
@article(C02,
 author       = "H. Casini",
 year         = "2002",
 title        = "The logic of causally closed spacetime subsets",
 journal      = "Class. Quantum Grav.",
 volume       = "19",
 pages        = "6389--6404",
 doi          = "10.1088/0264-9381/19/24/308",
)
@article(CJ77,
 author       = "Z. Ceg{\l }a, W. Jadczyk",
 year         = "1977",
 title        = "Causal logic of {M}inkowski space",
 journal      = "Commun. Math. Phys.",
 volume       = "57",
 pages        = "213--217",
 doi          = "10.1007/bf01614163",
)
@book(H89,
 author       = "R.I.G. Hughes",
 year         = "1989",
 title        = "The Structure and Interpretation of Quantum Mechanics",
 publisher    = "Harvard University Press",
)
@techreport(P77,
 author       = "C. A. Petri",
 year         = "1977",
 title        = "Non-Sequential Processes",
 type         = "Technical Report",
 number       = "ISF-77--5",
 institution  = "GMD Bonn",
 note         = "Translation of a lecture given at the IMMD Jubilee Colloquium on `Parallelism in Computer Science', Universit{\"a}t Erlangen--N{\"u}rnberg. June 1976",
)
@article(P_ijtp82,
 author       = "C.A. Petri",
 year         = "1982",
 title        = "State-transition structures in physics and in computation",
 journal      = "International Journal of Theoretical Physics",
 volume       = "21",
 number       = "12",
 pages        = "979--992",
 doi          = "10.1007/BF02084163",
)
@book(PP91,
 author       = "P. Pt\'ak, P. Pulmannov\'a",
 year         = "1991",
 title        = "Orthomodular Structures as Quantum Logics",
 publisher    = "Kluwer Academic Publishers",
)