On the computation of structural synchronic invariants in P/T nets | Publicación