For the most recent entries see the Petri Nets Newsletter.

Analyse algotrithmique des résaux de Petri: Vérification d'escape d'accueil, système réécriture.

Johnen, C.

Thése de Docteur en Science, University Paris-Sud, Centre d'Orsay, France, December 1987.

Keywords: rewriting system.


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

Back to the Petri Nets Bibliography