Matches in SemOpenAlex for { <https://semopenalex.org/work/W2408221399> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2408221399 abstract "We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002) that regular event structures correspond exactly to finite 1-safe Petri nets. The same counterexample is used to disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999) that domains of regular event structures with bounded $natural$-cliques are recognizable by finite trace automata. A necessary condition for both conjectures to be true is that domains of respective regular event structures admit a regular nice labeling. Our counterexample of a regular event domain with bounded $natural$-cliques, and not admitting a regular nice labeling is based on (i) the bijection between event domains, median graphs, and CAT(0) cube complexes and is derived from (ii) an example by Wise (1996 and 2007) of a nonpositively curved square complex ${bf X}$ with six squares, whose edges are colored in five colors, and whose universal cover $widetilde{bf X}$ is a CAT(0) square complex containing a particular plane with an aperiodic tiling." @default.
- W2408221399 created "2016-06-24" @default.
- W2408221399 creator A5033947410 @default.
- W2408221399 creator A5041906976 @default.
- W2408221399 date "2016-05-26" @default.
- W2408221399 modified "2023-09-27" @default.
- W2408221399 title "A counterexample to Thiagarajan's conjecture." @default.
- W2408221399 hasPublicationYear "2016" @default.
- W2408221399 type Work @default.
- W2408221399 sameAs 2408221399 @default.
- W2408221399 citedByCount "0" @default.
- W2408221399 crossrefType "posted-content" @default.
- W2408221399 hasAuthorship W2408221399A5033947410 @default.
- W2408221399 hasAuthorship W2408221399A5041906976 @default.
- W2408221399 hasConcept C104247578 @default.
- W2408221399 hasConcept C114614502 @default.
- W2408221399 hasConcept C118615104 @default.
- W2408221399 hasConcept C121332964 @default.
- W2408221399 hasConcept C134306372 @default.
- W2408221399 hasConcept C135692309 @default.
- W2408221399 hasConcept C162838799 @default.
- W2408221399 hasConcept C24424167 @default.
- W2408221399 hasConcept C2524010 @default.
- W2408221399 hasConcept C2779662365 @default.
- W2408221399 hasConcept C2780990831 @default.
- W2408221399 hasConcept C33923547 @default.
- W2408221399 hasConcept C34388435 @default.
- W2408221399 hasConcept C62520636 @default.
- W2408221399 hasConceptScore W2408221399C104247578 @default.
- W2408221399 hasConceptScore W2408221399C114614502 @default.
- W2408221399 hasConceptScore W2408221399C118615104 @default.
- W2408221399 hasConceptScore W2408221399C121332964 @default.
- W2408221399 hasConceptScore W2408221399C134306372 @default.
- W2408221399 hasConceptScore W2408221399C135692309 @default.
- W2408221399 hasConceptScore W2408221399C162838799 @default.
- W2408221399 hasConceptScore W2408221399C24424167 @default.
- W2408221399 hasConceptScore W2408221399C2524010 @default.
- W2408221399 hasConceptScore W2408221399C2779662365 @default.
- W2408221399 hasConceptScore W2408221399C2780990831 @default.
- W2408221399 hasConceptScore W2408221399C33923547 @default.
- W2408221399 hasConceptScore W2408221399C34388435 @default.
- W2408221399 hasConceptScore W2408221399C62520636 @default.
- W2408221399 hasLocation W24082213991 @default.
- W2408221399 hasOpenAccess W2408221399 @default.
- W2408221399 hasPrimaryLocation W24082213991 @default.
- W2408221399 hasRelatedWork W1490980830 @default.
- W2408221399 hasRelatedWork W1803417399 @default.
- W2408221399 hasRelatedWork W1988758826 @default.
- W2408221399 hasRelatedWork W2044889858 @default.
- W2408221399 hasRelatedWork W2068251269 @default.
- W2408221399 hasRelatedWork W2077744016 @default.
- W2408221399 hasRelatedWork W2149597729 @default.
- W2408221399 hasRelatedWork W2212378144 @default.
- W2408221399 hasRelatedWork W2223829988 @default.
- W2408221399 hasRelatedWork W2598199642 @default.
- W2408221399 hasRelatedWork W2765824231 @default.
- W2408221399 hasRelatedWork W2787322600 @default.
- W2408221399 hasRelatedWork W2810278013 @default.
- W2408221399 hasRelatedWork W2919795207 @default.
- W2408221399 hasRelatedWork W2963488576 @default.
- W2408221399 hasRelatedWork W2964126179 @default.
- W2408221399 hasRelatedWork W3020469811 @default.
- W2408221399 hasRelatedWork W3122111584 @default.
- W2408221399 hasRelatedWork W3132634655 @default.
- W2408221399 hasRelatedWork W2166886059 @default.
- W2408221399 isParatext "false" @default.
- W2408221399 isRetracted "false" @default.
- W2408221399 magId "2408221399" @default.
- W2408221399 workType "article" @default.