Recursive equations and basic properties of timed Petri netsReport as inadecuate




Recursive equations and basic properties of timed Petri nets - Download this document for free, or read online. Document in PDF available to download.

1 CRISAM - Inria Sophia Antipolis - Méditerranée 2 INRIA Rocquencourt 3 CAS - Centre Automatique et Systèmes

Résumé : Disponible dans les fichiers attachés à ce document





Author: François Baccelli - Guy Cohen - Bruno Gaujal -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents