6. Glossaire
k -borné
Un réseau de Petri est k -borné si, tous les marquages accessibles de son graphe d’accessibilité sont k -bornés.
EMBEDPN
Logiciel pour embarquer un réseau de Petri sur un microcontrôleur ou sur un FPGA.
ROMÉO
Plateforme logicielle de modélisation et d’analyse des réseaux de Petri.
TINA
Plateforme logicielle de modélisation et d’analyse des réseaux de Petri.
Graphe d’accessibilité
Graphe dont les arcs sont des franchissements de transitions et les sommets sont l’ensemble des marquages accessibles.
...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Glossaire
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Automatique et ingénierie système"
(
226 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
![Écoutez notre podcast Cogitons Sciences : Clément Thivin, un ingénieur pas bateau [Des ingénieurs qui cassent la routine #3]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2022/04/visuel-Article-actu-Podcast-12-ok-2.png)
