For the most recent entries see the
Petri Nets Newsletter.
Introducao a Especificacao e Verificacao Formais de Protocolos de Comunicacao por Redes de Petri com Temporizacao.
Menasche, Miguel
In:
IV Congresso da SBC, XI SEMISH, Viçosa, Brasil, pages 31-44.
July 1984.
In Portuguese; English title: An introduction to Protocol Specification
and Verification by intermediate of Time Petri Nets.
Keywords:
Time Petri Nets; Comunication Protocols.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography