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
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Tuesday, September 6, 2016 - 10:09:36 AM
Last modification on : Thursday, January 20, 2022 - 5:27:40 PM
Long-term archiving on: : Wednesday, December 7, 2016 - 12:27:23 PM


Files produced by the author(s)


  • HAL Id : hal-01360144, version 1


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⟩



Record views


Files downloads