For the most recent entries see the Petri Nets Newsletter.

Specification of the Transport Service Using Numerical Petri Nets.

Billington, J.

In: Sunshine, C.: 2nd Int. Workshop on Protocol Specification, Testing and Verification, Idyllwild, California, May, 1982, pages 77-100. North-Holland Publ. Company, 1982.


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

Back to the Petri Nets Bibliography