For the most recent entries see the
Petri Nets Newsletter.
Time Petri Nets for Analyzing and Verifying Time Dependent Protocols.
Menasche, M.;
Berthomieu, B.
In:
Protocol Specification, Testing and Verification III, pages 161-172.
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