Skip to Main content Skip to Navigation
Conference papers

Partial Higher-Dimensional Automata

Uli Fahrenberg 1 Axel Legay 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We propose a generalization of higher-dimensional automata, partial HDA. Unlike HDA, and also extending event structures and Petri nets, partial HDA can model phenomena such as priorities or the disabling of an event by another event. Using open maps and unfoldings, we introduce a natural notion of (higher-dimensional) bisimilarity for partial HDA and relate it to history-preserving bisimilarity and split bisimilarity. Higher-dimensional bisimilarity has a game characterization and is decidable in polynomial time.
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01237643
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, December 3, 2015 - 3:26:06 PM
Last modification on : Thursday, January 7, 2021 - 4:20:36 PM
Long-term archiving on: : Saturday, April 29, 2017 - 4:54:14 AM

File

main-calcofinal.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01237643, version 1

Citation

Uli Fahrenberg, Axel Legay. Partial Higher-Dimensional Automata. 6th Conference on Algebra and Coalgebra in Computer Science, Jun 2015, Nijmegen, Netherlands. ⟨hal-01237643⟩

Share

Metrics

Record views

340

Files downloads

102