Classification: 68Q85

Keywords: net structures, synchronised operations, distributive lattice, boolean algebra, representation theorems

@article{ITA_2008__42_2_271_0, author = {Czaja, Ludwik}, title = {Calculi of net structures and sets are similar}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, publisher = {EDP-Sciences}, volume = {42}, number = {2}, year = {2008}, pages = {271-284}, doi = {10.1051/ita:2007033}, zbl = {1144.68042}, mrnumber = {2401262}, language = {en}, url = {http://www.numdam.org/item/ITA_2008__42_2_271_0} }

Czaja, Ludwik. Calculi of net structures and sets are similar. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 42 (2008) no. 2, pp. 271-284. doi : 10.1051/ita:2007033. http://www.numdam.org/item/ITA_2008__42_2_271_0/

[1] Checking properties of nets using transformations, in Advances in Petri Nets, edited by G. Goos and J. Hartmanis. Lect. Notes Comput. Sci. 222 (1985). | MR 864510 | Zbl 0606.68055

,[2] The box algebra = Petri nets + process expressions. Inform. Comput. 178 (2002) 44-100. | MR 1931737 | Zbl 1012.68117

, , ,[3] Making Nets Abstract and Structured, in Advances in Petri Nets, edited by G. Goos and J. Hartmanis. Lect. Notes Comput. Sci. 222 (1985) 181-202. | MR 864518 | Zbl 0612.68054

,[4] Equations for message passing. Fund. Inform. 72 (2006) 81-93. | MR 2265155 | Zbl 1097.68088

,[5] Interpreted nets. Fund. Inform. 79 (2007) 283-293. | MR 2346248 | Zbl 1124.68067

,[6] Axiomatising the algebra of net computations and processes. Acta Inform. 33 (1996) 641-667. | MR 1412418 | Zbl 0849.68087

, and ,[7] Branching processes of Petri nets. Acta Inform. 28 (1991) 575-591. | MR 1120112 | Zbl 0743.68106

,[8] Refinement, atomicity and transactions for process description languages. Ph.D. Thesis. Dipartimento di Informatica, Universita di Pisa, TD - 2/91 (1991).

,[9] Notes on Communicating Sequential Processes. Oxford University Computing Laboratory Technical Monograph PRG-33 (1983).

,[10] Set Theory. North Holland, Amsterdam, PWN, Warsaw (1967). | Zbl 0165.01701

and ,[11] Semantics of concurrent systems: a modular fixed point trace approach. Internal Report, Institute of Applied Mathematics and Computer Science, University of Leiden, The Netherlands (1984). | MR 807209 | Zbl 0576.68044

,[12] Introduction to Trace Theory, in The Book of Traces, edited by V. Diekert and G. Rozenberg, World Scientific (1995) 3-41. | MR 1478993

,[13] Petri nets are monoids. Inform. Comput. 88 (1990) 105-155. | MR 1070245 | Zbl 0711.68077

and .[14] On the Semantics of Place/Transition Petri Nets. Dipartimento di Informatica Universita di Pisa, TR - 27/92 (1992).

, and ,[15] Communication and Concurrency. International Series in Computer Science, Prentice Hall (1989). | Zbl 0683.68008

,[16] The Mathematics of Metamathematics. PWN, Warsaw (1968). | Zbl 0122.24311

and ,[17] An Introduction. EATCS Monographs on Theoretical Computer Science, Springer Verlag (1985). | MR 782303 | Zbl 0555.68033

, ,[18] The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 40 (1936) 37-111. | JFM 62.0033.04 | MR 1501865

,[19] Algebraic characterisation of Petri net pomset semantics, CONCUR'97: Concurrency Theory. Lect. Notes Comput. Sci. 1243 (1997) 403-420.

and ,[20] An algebraic description of system behaviours. Theoret. Comput. Sci. 21 (1982) 315-340. | MR 680920 | Zbl 0493.68049

,[21] Petri nets, algebras, morphisms and compositionality. Inform. Comput. 72 (1987) 197-238. | MR 878462 | Zbl 0622.68052

,