Compositional Liveness Properties of EN-Systems

@inproceedings{Gomm1993CompositionalLP,
  title={Compositional Liveness Properties of EN-Systems},
  author={Dominik Gomm and Ekkart Kindler and Barbara Paech and Rolf Walter},
  booktitle={Application and Theory of Petri Nets},
  year={1993}
}