Bibliography
Modelling Protocols by Object-Based Petri Nets
Berndt Farwer.
Modelling protocols by object-based Petri nets.
In L. Czaja, editor, Concurrency Specification and Programming
(CSP'01), Proceedings, pages 87-96. University of Warsaw, 2001.
BibTeX
@inproceedings{Farwer01,
Author = {Farwer, Berndt},
Booktitle = {Concurrency Specification and Programming (CSP'01), Proceedings},
Editor = {Czaja, L.},
Pages = {87--96},
Publisher = {University of Warsaw},
Title = {Modelling Protocols by Object-Based {Petri} Nets},
Year = 2001
}