For the most recent entries see the Petri Nets Newsletter.

Keyword: high-level specification

Garg, V.K.; Ramamoorthy, C.V.:
ConC: a Language for Concurrent Programming. 1991.
Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro:
Symbolic Execution of Concurrent Programs Using Petri Nets. 1989.

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

Back to the Petri Nets Bibliography