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.
@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 }