For the most recent entries see the Petri Nets Newsletter.

Keyword: TRIO

Gargantini, A.; Mandrioli, D.; Morzenti, A.:
Dealing with zero-time transitions in axiom systems. 1999.
Felder, M.; Mandrioli, D.; Morzenti, A.:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. 1994.

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

Back to the Petri Nets Bibliography