For the most recent entries see the
Petri Nets Newsletter.
Specification of the Transport Service Using Numerical Petri Nets.
Sunshine, C.: 2nd Int. Workshop on Protocol Specification, Testing and Verification, Idyllwild, California, May, 1982, pages 77-100.
North-Holland Publ. Company,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography