For the most recent entries see the Petri Nets Newsletter.

Petri Nets Theory for the Correctness of Protocols.

Berthelot, G.; Terrat, R.

In: Proc. of the 2nd Seminar on Distributed Data Sharing Systems, Juin 1981, pages 23-43. North-Holland, Amsterdam, 1982.

Also in: IEEE Transactions on Communications, Vol. COM-30, No. 12, pages 2497-2505. December 1982.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography