For the most recent entries see the Petri Nets Newsletter.

RAFAEL: Un Outil d'Analyse des Systemes Paralleles.

Behm, P.

Doctoral thesis, ENS des Telecommunications, Paris, Report No. ENST--86E019, November 1986.

Abstract: A high level description language is used to modify a Petri net model into a highly structured wide spectrum model. The feasibility of the approach is demonstrated by the design and implementation of an integrated analysis tool in an L language environment. It is shown that such a tool detects and corrects nontrivial errors in classical Petri models.

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

Back to the Petri Nets Bibliography