Über die Methode der Entscheidungstabellen
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
Une nouvelle transformation des réseaux de Petri généralisés : l’abstraction généralisée
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
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.