Open AccessOn behavioural synchronization in net systems
Author(s) -
Hoàng Chí Thành
Publication year - 2016
Publication title -
journal of computer science and cybernetics (vietnam academy of science and technology)/journal of computer science and cybernetics
Language(s) - English
Resource type - Journals
eISSN - 2815-5939
pISSN - 1813-9663
DOI - 10.15625/1813-9663/8/4/8275
Subject(s) - interleaving , net (polyhedron) , synchronization (alternating current) , computer science , semantics (computer science) , theoretical computer science , mathematics , programming language , operating system , computer network , channel (broadcasting) , geometry
In this paper we define a new operation on Net systems. The operation is compositional with respect to two distinct semantics – interleaving based on firing sequences and non-interleaving based on traces.