For the most recent entries see the
Petri Nets Newsletter.
Timed Petri Nets for Modelling and Analyzing Protocols with Real-time Characteristics.
Walter, B.
In:
Protocol Specification, Testing and Verification III, pages 149-159.
Elsevier Science Publ. 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