For the most recent entries see the Petri Nets Newsletter.

Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.

Rosa-Velardo, Fernando; de Frutos-Escrig, David

In: Automated Technology for Verification and Analysis, pages 461-476. 2006. URL:

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

Back to the Petri Nets Bibliography