AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?

@inproceedings{Dittrich1999AVPetriSH,
  title={AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?},
  author={Gisbert Dittrich},
  booktitle={EUROCAST},
  year={1999}
}