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.
Tech. Univ. of Helsinki, Digital Systems Lab., Research Report,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography