On behavioural synchronization in net systems

Hoang Chi Thanh


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.


  • There are currently no refbacks.

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology