For the most recent entries see the Petri Nets Newsletter.

Some Remarks on ``Specification and Validation of Protocols by Temporal Logic and Nets'' by M. Diaz and G. G. da Silveira.

Eriksson, H.

Tech. Univ. of Helsinki, Digital Systems Lab., Research Report, 1984.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography