Skip to Main content Skip to Navigation
Journal articles

Cyclic Ordering through Partial Orders *

Stefan Haar 1, *
* Corresponding author
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01360144
Contributor : Stefan Haar <>
Submitted on : Tuesday, September 6, 2016 - 10:09:36 AM
Last modification on : Friday, April 30, 2021 - 9:53:26 AM
Long-term archiving on: : Wednesday, December 7, 2016 - 12:27:23 PM

File

Rogics_SI_HAAR_2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01360144, version 1

Citation

Stefan Haar. Cyclic Ordering through Partial Orders *. Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2016, 27 (2-3), pp.209-228. ⟨hal-01360144⟩

Share

Metrics

Record views

393

Files downloads

589