Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CALCO
2015
Springer

favoriteEmaildiscussreport

13views Mathematics» more CALCO 2015»

Partial Higher-dimensional Automata

8 years 9 days ago

Partial Higher-dimensional Automata

Download drops.dagstuhl.de

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.

Ulrich Fahrenberg, Axel Legay

Real-time Traffic

CALCO 2015 | Mathematics |

claim paper

Related Content

» Modal Logic over Higher Dimensional Automata

» Combinatorics of branchings in higher dimensional automata

» Domains of HigherDimensional Automata

» About the globular homology of higher dimensional automata

» Higher dimensional automata revisited

» Open Maps Bisimulations for Higher Dimensional Automata Models

» Higher Dimensional Transition Systems

» Computation of Partial Automata Through Span Composition

» Comparative Similarity Tree Automata and Diophantine Equations

» Partial Order Reduction for Model Checking of Timed Automata

Post Info
More Details (n/a)

Added	17 Apr 2016
Updated	17 Apr 2016
Type	Journal
Year	2015
Where	CALCO
Authors	Ulrich Fahrenberg, Axel Legay

Comments (0)