Cyclic Ordering through Partial Orders *

Stefan Haar 1, *
* Auteur correspondant
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : The orientation problem for ternary cyclic order relations has been attacked in the literature from combinatorial perspectives, through rotations , and by connection with Petri nets. We propose here a twofold characterization of orientable cyclic orders in terms of symmetries of partial orders as well as in terms of separating sets (cuts). The results are inspired by properties of non-sequential discrete processeses, but also apply to dense structures of any cardinality.
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01360144
Contributeur : Stefan Haar <>
Soumis le : mardi 6 septembre 2016 - 10:09:36
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37
Document(s) archivé(s) le : mercredi 7 décembre 2016 - 12:27:23

Fichier

Rogics_SI_HAAR_2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01360144, version 1

Citation

Stefan Haar. Cyclic Ordering through Partial Orders *. Journal of Multivalued-Logic and Soft Computing, 2016, 27 (2-3), pp.209-228. 〈http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-27-number-2-3-2016/〉. 〈hal-01360144〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

132