Representations of Petri net interactions

    @inproceedings{SobocinskiRepresentationsOP,
      title={Representations of Petri net interactions},
      author={Pawe L Soboci´nski}
    }
    • Pawe L Soboci´nski
    We introduce a novel compositional algebra of Petri nets, as well as a stateful extension of the calculus of connectors. These two formalisms are shown to have the same expressive power.