@inproceedings{HFW1998,
               author = {H. Garcez, F. Nascimento, W. Rosenstiel},
               title = {POM Semantics for 1-safe Petri Nets},
               booktitle = {WOLLIC},
               year = {1998},
               address = {Sao Paulo, Brasilien}
}