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