FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288281500> ?p ?o ?g. }

• W4288281500 endingPage "49" @default.
• W4288281500 startingPage "1" @default.
• W4288281500 abstract "Nielsen et al. [35] proved that every 1-safe Petri net N unfolds into an event structure E N . By a result of Thiagarajan [46], these unfoldings are exactly the trace-regular event structures. Thiagarajan [46] conjectured that regular event structures correspond exactly to trace-regular event structures. In a recent paper (Chalopin and Chepoi [12]), we disproved this conjecture, based on the striking bijection between domains of event structures, median graphs, and CAT(0) cube complexes. However, we proved that Thiagarajan’s conjecture is true for regular event structures whose domains are principal filters of universal covers of finite special cube complexes. In the current article, we prove the converse: To any finite 1-safe Petri net N , one can associate a finite special cube complex X N such that the domain of the event structure E N (obtained as the unfolding of N ) is a principal filter of the universal cover X̃ N of X N . This establishes a bijection between 1-safe Petri nets and finite special cube complexes and provides a combinatorial characterization of trace-regular event structures. Using this bijection and techniques from graph theory and geometry (MSO theory of graphs, bounded treewidth, and bounded hyperbolicity), we disprove yet another conjecture by Thiagarajan (from the paper with Yang [48]) that the monadic second-order logic of a 1-safe Petri net (i.e., of its event structure unfolding) is decidable if and only if its unfolding is grid-free. It was proven by Thiagarajan and Yang [48] that the MSO logic is undecidable if the unfolding is not grid-free. Our counterexample is the trace-regular event structure that arises from a virtually special square complex Z. The domain of this event structure Ė Z is the principal filter of the universal cover Z̃ of Z in which to each vertex we added a pendant edge. The graph of the domain of Ė Z has bounded hyperbolicity (and, thus, the event structure Ė Z is grid-free) but has infinite treewidth. Using results of Seese, Courcelle, and Müller and Schupp, we show that this implies that the MSO theory of the event structure Ė Z is undecidable." @default.
• W4288281500 created "2022-07-28" @default.
• W4288281500 creator A5033947410 @default.
• W4288281500 creator A5041906976 @default.
• W4288281500 date "2019-07-16" @default.
• W4288281500 modified "2023-10-17" @default.
• W4288281500 title "1-Safe Petri Nets and Special Cube Complexes" @default.
• W4288281500 cites W1646601689 @default.
• W4288281500 cites W1965650021 @default.
• W4288281500 cites W1971416129 @default.
• W4288281500 cites W1971790152 @default.
• W4288281500 cites W1976522318 @default.
• W4288281500 cites W1985467790 @default.
• W4288281500 cites W1991052229 @default.
• W4288281500 cites W1994522884 @default.
• W4288281500 cites W2006899318 @default.
• W4288281500 cites W2007945876 @default.
• W4288281500 cites W2026849456 @default.
• W4288281500 cites W2029001691 @default.
• W4288281500 cites W2029448190 @default.
• W4288281500 cites W2033033894 @default.
• W4288281500 cites W2036648964 @default.
• W4288281500 cites W2057826895 @default.
• W4288281500 cites W2058222903 @default.
• W4288281500 cites W2079207854 @default.
• W4288281500 cites W2082363232 @default.
• W4288281500 cites W2087269456 @default.
• W4288281500 cites W2094403718 @default.
• W4288281500 cites W2097956810 @default.
• W4288281500 cites W2126761065 @default.
• W4288281500 cites W2130093010 @default.
• W4288281500 cites W2950031412 @default.
• W4288281500 cites W3099225457 @default.
• W4288281500 cites W8204747 @default.
• W4288281500 cites W1521992164 @default.
• W4288281500 doi "https://doi.org/10.1145/3322095" @default.
• W4288281500 hasPublicationYear "2019" @default.
• W4288281500 type Work @default.
• W4288281500 citedByCount "1" @default.
• W4288281500 countsByYear W42882815002022 @default.
• W4288281500 crossrefType "journal-article" @default.
• W4288281500 hasAuthorship W4288281500A5033947410 @default.
• W4288281500 hasAuthorship W4288281500A5041906976 @default.
• W4288281500 hasBestOaLocation W42882815002 @default.
• W4288281500 hasConcept C11413529 @default.
• W4288281500 hasConcept C114614502 @default.
• W4288281500 hasConcept C118615104 @default.
• W4288281500 hasConcept C121332964 @default.
• W4288281500 hasConcept C134306372 @default.
• W4288281500 hasConcept C138885662 @default.
• W4288281500 hasConcept C153269930 @default.
• W4288281500 hasConcept C24424167 @default.
• W4288281500 hasConcept C2779662365 @default.
• W4288281500 hasConcept C2780990831 @default.
• W4288281500 hasConcept C33923547 @default.
• W4288281500 hasConcept C34388435 @default.
• W4288281500 hasConcept C38677869 @default.
• W4288281500 hasConcept C41895202 @default.
• W4288281500 hasConcept C53051483 @default.
• W4288281500 hasConcept C62520636 @default.
• W4288281500 hasConcept C75291252 @default.
• W4288281500 hasConceptScore W4288281500C11413529 @default.
• W4288281500 hasConceptScore W4288281500C114614502 @default.
• W4288281500 hasConceptScore W4288281500C118615104 @default.
• W4288281500 hasConceptScore W4288281500C121332964 @default.
• W4288281500 hasConceptScore W4288281500C134306372 @default.
• W4288281500 hasConceptScore W4288281500C138885662 @default.
• W4288281500 hasConceptScore W4288281500C153269930 @default.
• W4288281500 hasConceptScore W4288281500C24424167 @default.
• W4288281500 hasConceptScore W4288281500C2779662365 @default.
• W4288281500 hasConceptScore W4288281500C2780990831 @default.
• W4288281500 hasConceptScore W4288281500C33923547 @default.
• W4288281500 hasConceptScore W4288281500C34388435 @default.
• W4288281500 hasConceptScore W4288281500C38677869 @default.
• W4288281500 hasConceptScore W4288281500C41895202 @default.
• W4288281500 hasConceptScore W4288281500C53051483 @default.
• W4288281500 hasConceptScore W4288281500C62520636 @default.
• W4288281500 hasConceptScore W4288281500C75291252 @default.
• W4288281500 hasIssue "3" @default.
• W4288281500 hasLocation W42882815001 @default.
• W4288281500 hasLocation W42882815002 @default.
• W4288281500 hasLocation W42882815003 @default.
• W4288281500 hasLocation W42882815004 @default.
• W4288281500 hasLocation W42882815005 @default.
• W4288281500 hasOpenAccess W4288281500 @default.
• W4288281500 hasPrimaryLocation W42882815001 @default.
• W4288281500 hasRelatedWork W1508013399 @default.
• W4288281500 hasRelatedWork W2027277382 @default.
• W4288281500 hasRelatedWork W2279732055 @default.
• W4288281500 hasRelatedWork W2607898266 @default.
• W4288281500 hasRelatedWork W2952259524 @default.
• W4288281500 hasRelatedWork W2995857455 @default.
• W4288281500 hasRelatedWork W2998840281 @default.
• W4288281500 hasRelatedWork W4287020903 @default.
• W4288281500 hasRelatedWork W4288805235 @default.
• W4288281500 hasRelatedWork W4302399754 @default.
• W4288281500 hasVolume "20" @default.
• W4288281500 isParatext "false" @default.

• next