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