On behavioural synchronization in net systems

Hoang Chi Thanh

Abstract



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.




DOI: https://doi.org/10.15625/1813-9663/8/4/8275

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology