I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Synthesis Rules for Petri Nets, und How they Lead to New Results

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}
}

PDF (1 MB)