Bibliography

Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling

Christoph Maier and Daniel Moldt.
Object coloured Petri nets - A formal technique for object oriented modelling.
In Agha et al. , Advances in Petri Nets: Concurrent Object-Oriented Programming and Petri Nets, pages 406-427.

BibTeX

@INCOLLECTION{Maier+01,
        AUTHOR             = {Maier, Christoph and Moldt, Daniel},
        PAGES              = {406--427},
        TITLE              = {Object Coloured {Petri} Nets -- {A} Formal Technique for Object Oriented Modelling},
        YEAR               = 2001,
        Crossref = {Agha+-e-01}
}

@BOOK{Agha+-e-01,
        BOOKTITLE          = {Advances in {Petri} Nets: Concurrent Object-Oriented Programming and {Petri} Nets},
        EDITOR             = {Agha, Gul and De Cindio, Fiorella and Rozenberg, Grzegorz},
        PUBLISHER          = Springer,
        SERIES             = LNCS,
        TITLE              = {Advances in {Petri} Nets: Concurrent Object-Oriented Programming and {Petri} Nets},
        VOLUME             = {2001},
        YEAR               = 2001
}