@inproceedings{BrSt:92,
  year = {1992},
  booktitle = {Advances in Petri Nets 1992},
  volume = {609},
  series = {Lecture Notes in Computer Science},
  author = {M. Broy and T. Streicher},
  publisher = {Springer},
  pages = {70-88},
  title = {Modular functional modelling of Petri nets with individual tokens. },
}