For the most recent entries see the Petri Nets Newsletter.

Deriving Analysable Petri Nets from Lotos Specification.

Barbeau, M.; Bochmann, G.

Technical Report, Publication 707. Universite de Montreal, Departement d'Informatique et de Recherche Operationnelle, 1990.

Keywords: analysable net; Lotos specification.

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

Back to the Petri Nets Bibliography