Polyhedral Reductions for Petri nets - Équipe Verification de Systèmes Temporisés Critiques Accéder directement au contenu
Poster De Conférence Année : 2023

Polyhedral Reductions for Petri nets

Résumé

Polyhedral equivalence defines a linear dependence relation (E) between the reachable markings of two nets; where E is a Presburger formula, or a system of linear Diophantine equations. This equivalence, denoted (N1, m1) ≡E (N2, m2), preserves enough information in E so that we can rebuild the state space of N1 knowing only the one of N2

Mots clés

Fichier principal
Vignette du fichier
polyposter.pdf (2.03 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04355257 , version 1 (20-12-2023)

Licence

Identifiants

  • HAL Id : hal-04355257 , version 1

Citer

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan. Polyhedral Reductions for Petri nets. Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France. , 2023. ⟨hal-04355257⟩
79 Consultations
22 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More