Compositional semantics for message sequence charts based on Petri Nets

@inproceedings{Kluge2002CompositionalSF,
  title={Compositional semantics for message sequence charts based on Petri Nets},
  author={Olaf Kluge},
  year={2002}
}