Reference:

J. Esparza. Synthesis rules for Petri nets, und how they lead to new results. In J.C.M. Baeten und J.W. Klop, editor, Proceedings of CONCUR '90, number 458 in Lecture Notes in Computer Science, pages 182–198, 1990.

Suggested BibTeX entry:

@inproceedings{Esp90,
    author = {J. Esparza},
    booktitle = {Proceedings of CONCUR '90},
    editor = {J.C.M. Baeten und J.W. Klop},
    number = {458},
    pages = {182-198},
    series = {{Lecture Notes in Computer Science}},
    title = {Synthesis Rules for {P}etri Nets, und How they Lead to New Results},
    year = {1990}
}