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
}
