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.

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
}