3. Extensions temporelles des réseaux de Petri
Pour prendre en compte les contraintes temporelles quantitatives des systèmes temps réel, les réseaux de Petri ont été étendus avec des informations temporelles associées aux places, aux transitions ou aux arcs (voir pour une étude comparative).
Dans ces extensions temporelles des réseaux de Petri, deux types de sémantique peuvent être envisagés pour l’écoulement du temps. Dans la sémantique forte, l’écoulement du temps ne peut pas désensibiliser les transitions, tandis que...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Extensions temporelles des réseaux de Petri
Outils de modélisation et déploiement sur des architectures matérielles
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)
