Bibliography
Relating Different Semantics for Object Petri Nets, Formal Proofs and Examples
Rüdiger Valk.
Relating different semantics for object Petri nets, formal proofs
and examples.
Technical Report FBI-HH-B-226, University of Hamburg, Department for
Computer Science Report/00, 2000.
[pdf]
[pdf]
BibTeX
@TECHREPORT{Valk00,
AUTHOR = {Valk, R{\"u}diger},
INSTITUTION = {University of Hamburg, Department for Computer Science Report/00},
NUMBER = {FBI-HH-B-226},
TITLE = {Relating Different Semantics for Object {Petri} Nets, Formal Proofs and Examples},
TYPE = {Technical Report},
YEAR = 2000
}
