Polyhedral Reductions for Petri nets

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

Petri net Model-checking

Domaines

Logique en informatique [cs.LO]

Fichier principal

polyposter.pdf (2.03 Mo)

Origine	Fichiers produits par l'(les) auteur(s)
Licence	Paternité

Silvano Dal Zilio : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04355257

Soumis le : mercredi 20 décembre 2023-10:23:39

Dernière modification le : mercredi 25 septembre 2024-09:28:11

Dates et versions

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

Licence

Paternité

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS UT1-CAPITOLE LAAS-VERTICS LAAS-INFORMATIQUE-CRITIQUE INSA-GROUPE INSA-TOULOUSE-GEI LAAS-RISC ANR CIMI-TOULOUSE TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

192 Consultations

62 Téléchargements