For the most recent entries see the
Petri Nets Newsletter.
Formal Specification and Validation of ISO Transport Protocol Components, Using Petri Nets.
Jürgensen, W.;
Vuong, S.T.
In:
Computer Communication Review, Vol. 14, No. 2: SIGCOMM'84 Tutorials and Symposium, Communications Architectures and Protocols, June 6--8, 1984, Montreal, Quebec, Canada, pages 75-82.
ACM,
1984.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography