Invariant Semantics of Nets with Inhibitor Arcs

@inproceedings{Janicki1991InvariantSO,
  title={Invariant Semantics of Nets with Inhibitor Arcs},
  author={Ryszard Janicki and Maciej Koutny},
  booktitle={CONCUR},
  year={1991}
}