Über die Methode der Entscheidungstabellen
Page 1
Displaying 1 – 4 of 4
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
Olivier Coudert, Jean-Christophe Madre (1994)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
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 – 4 of 4
Page 1