On behavioural synchronization in net systems

Hoang Chi Thanh
Author affiliations

Authors

  • Hoang Chi Thanh Publishing House for Science and Technology

DOI:

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

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.

Metrics

Metrics Loading ...

Published

28-04-2016

How to Cite

[1]
H. C. Thanh, “On behavioural synchronization in net systems”, JCC, vol. 8, no. 4, p. 21–36, Apr. 2016.

Issue

Section

Computer Science