A remark on operational formula
S. K. Chatterjea (1969)
Matematički Vesnik
Similarity:
S. K. Chatterjea (1969)
Matematički Vesnik
Similarity:
Ludwik Czaja (2008)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Three basic operations on labelled net structures are proposed: synchronised union, synchronised intersection and synchronised difference. The first of them is a version of known parallel composition with synchronised actions identically labelled. The operations work analogously to the ordinary union, intersection and difference on sets. It is shown that the universe of net structures with these operations is a distributive lattice and – if infinite pre/post sets of transitions are allowed...
Dragan Gašević (2004)
Computer Science and Information Systems
Similarity:
D. Nikolić-Despotović (1970)
Publications de l'Institut Mathématique
Similarity:
Tomáš Havránek (1974)
Kybernetika
Similarity:
Ludwik Czaja (2007)
RAIRO - Theoretical Informatics and Applications
Similarity:
Three basic operations on labelled net structures are proposed: synchronised union, synchronised intersection and synchronised difference. The first of them is a version of known parallel composition with synchronised actions identically labelled. The operations work analogously to the ordinary union, intersection and difference on sets. It is shown that the universe of net structures with these operations is a distributive lattice and – if infinite pre/post sets of transitions are...
P. Richard (2000)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity: