For the most recent entries see the Petri Nets Newsletter.

Abstract Specification of the ISO Transport Service Definition Using Labelled Numerical Petri Nets.

Billington, J.

In: Rudin, H.; West, C.: Protocol Specification, Testing and Verification III, pages 173-185. Amsterdam: Elsevier Science Publishers B.V. (North Holland), 1983.

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

Back to the Petri Nets Bibliography