Page 1

Displaying 1 – 2 of 2

Showing per page

Une nouvelle transformation des réseaux de Petri généralisés : l’abstraction généralisée

Christophe Haro, Patrick Martineau, Christian Proust (2004)

RAIRO - Operations Research - Recherche Opérationnelle

Cet article introduit une nouvelle transformation des réseaux de Petri généralisés appelée l’abstraction généralisée. C’est une réduction dont nous montrons qu’elle conserve les invariants du réseau de départ et les propriétés structurelles les plus importantes. Une fonction de transformation de marquages nous permet d’introduire l’étude de la conservation des propriétés comportementales.

Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée

Christophe Haro, Patrick Martineau, Christian Proust (2010)

RAIRO - Operations Research

Cet article introduit une nouvelle transformation des réseaux de Petri généralisés appelée l'abstraction généralisée. C'est une réduction dont nous montrons qu'elle conserve les invariants du réseau de départ et les propriétés structurelles les plus importantes. Une fonction de transformation de marquages nous permet d'introduire l'étude de la conservation des propriétés comportementales.

Currently displaying 1 – 2 of 2

Page 1