FRINK Linked Data Fragments server

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

• W1851153456 abstract "Elementary object systems (EOS for short) are Petri nets in which tokens may be Petri nets again. Originally proposed by Valk for a two levelled structure, the formalism was later generalised for arbitrary nesting structures. However, even if restricted to a nesting depth of two, EOS are Turing-complete and thus many problems like reachability and liveness are undecidable for them. Nonetheless, since they are useful to model many practical applications a natural question is how to restrict the formalism in such a way, that the resulting restricted formalism is still helpful in a modelling context, but so that important verification problems like reachability become quickly decidable. In the last years several structural and dynamic restrictions for EOS have therefore been investigated. These investigations have been central to the first author's recent PhD thesis and have been published in past editions of this journal and on conferences. In this paper we add several new results and present them together with the old in a unified fashion highlighting the central message of these investigations." @default.
• W1851153456 created "2016-06-24" @default.
• W1851153456 creator A5060178459 @default.
• W1851153456 creator A5082391046 @default.
• W1851153456 date "2014-01-01" @default.
• W1851153456 modified "2023-09-26" @default.
• W1851153456 title "Structural and Dynamic Restrictions of Elementary Object Systems" @default.
• W1851153456 cites W1479780893 @default.
• W1851153456 cites W1481048557 @default.
• W1851153456 cites W1491528211 @default.
• W1851153456 cites W1502003955 @default.
• W1851153456 cites W1505522750 @default.
• W1851153456 cites W1506675912 @default.
• W1851153456 cites W1512310098 @default.
• W1851153456 cites W1515231954 @default.
• W1851153456 cites W1527564344 @default.
• W1851153456 cites W1540501166 @default.
• W1851153456 cites W1551938402 @default.
• W1851153456 cites W1556738948 @default.
• W1851153456 cites W1582557530 @default.
• W1851153456 cites W1588738710 @default.
• W1851153456 cites W1682790944 @default.
• W1851153456 cites W1722638068 @default.
• W1851153456 cites W1756240635 @default.
• W1851153456 cites W176978374 @default.
• W1851153456 cites W1834333901 @default.
• W1851153456 cites W1886079802 @default.
• W1851153456 cites W1904654453 @default.
• W1851153456 cites W1956331890 @default.
• W1851153456 cites W1999770529 @default.
• W1851153456 cites W2031315747 @default.
• W1851153456 cites W2111214092 @default.
• W1851153456 cites W2162652389 @default.
• W1851153456 cites W2912003593 @default.
• W1851153456 cites W3021856877 @default.
• W1851153456 cites W2485149744 @default.
• W1851153456 doi "https://doi.org/10.3233/fi-2014-1130" @default.
• W1851153456 hasPublicationYear "2014" @default.
• W1851153456 type Work @default.
• W1851153456 sameAs 1851153456 @default.
• W1851153456 citedByCount "0" @default.
• W1851153456 crossrefType "journal-article" @default.
• W1851153456 hasAuthorship W1851153456A5060178459 @default.
• W1851153456 hasAuthorship W1851153456A5082391046 @default.
• W1851153456 hasBestOaLocation W18511534562 @default.
• W1851153456 hasConcept C136643341 @default.
• W1851153456 hasConcept C142362112 @default.
• W1851153456 hasConcept C153269930 @default.
• W1851153456 hasConcept C153349607 @default.
• W1851153456 hasConcept C15569618 @default.
• W1851153456 hasConcept C171018156 @default.
• W1851153456 hasConcept C192034797 @default.
• W1851153456 hasConcept C199360897 @default.
• W1851153456 hasConcept C2524010 @default.
• W1851153456 hasConcept C2777669093 @default.
• W1851153456 hasConcept C33923547 @default.
• W1851153456 hasConcept C38677869 @default.
• W1851153456 hasConcept C41008148 @default.
• W1851153456 hasConcept C558565934 @default.
• W1851153456 hasConcept C73301696 @default.
• W1851153456 hasConcept C80444323 @default.
• W1851153456 hasConcept C9870796 @default.
• W1851153456 hasConceptScore W1851153456C136643341 @default.
• W1851153456 hasConceptScore W1851153456C142362112 @default.
• W1851153456 hasConceptScore W1851153456C153269930 @default.
• W1851153456 hasConceptScore W1851153456C153349607 @default.
• W1851153456 hasConceptScore W1851153456C15569618 @default.
• W1851153456 hasConceptScore W1851153456C171018156 @default.
• W1851153456 hasConceptScore W1851153456C192034797 @default.
• W1851153456 hasConceptScore W1851153456C199360897 @default.
• W1851153456 hasConceptScore W1851153456C2524010 @default.
• W1851153456 hasConceptScore W1851153456C2777669093 @default.
• W1851153456 hasConceptScore W1851153456C33923547 @default.
• W1851153456 hasConceptScore W1851153456C38677869 @default.
• W1851153456 hasConceptScore W1851153456C41008148 @default.
• W1851153456 hasConceptScore W1851153456C558565934 @default.
• W1851153456 hasConceptScore W1851153456C73301696 @default.
• W1851153456 hasConceptScore W1851153456C80444323 @default.
• W1851153456 hasConceptScore W1851153456C9870796 @default.
• W1851153456 hasLocation W18511534561 @default.
• W1851153456 hasLocation W18511534562 @default.
• W1851153456 hasOpenAccess W1851153456 @default.
• W1851153456 hasPrimaryLocation W18511534561 @default.
• W1851153456 hasRelatedWork W101037006 @default.
• W1851153456 hasRelatedWork W106347463 @default.
• W1851153456 hasRelatedWork W1484913512 @default.
• W1851153456 hasRelatedWork W1974446124 @default.
• W1851153456 hasRelatedWork W2020588945 @default.
• W1851153456 hasRelatedWork W204162888 @default.
• W1851153456 hasRelatedWork W2060105961 @default.
• W1851153456 hasRelatedWork W2177564498 @default.
• W1851153456 hasRelatedWork W2189246730 @default.
• W1851153456 hasRelatedWork W2395244651 @default.
• W1851153456 hasRelatedWork W2405381161 @default.
• W1851153456 hasRelatedWork W2407427225 @default.
• W1851153456 hasRelatedWork W2555941479 @default.
• W1851153456 hasRelatedWork W2592461046 @default.
• W1851153456 hasRelatedWork W2769544028 @default.
• W1851153456 hasRelatedWork W2963312557 @default.
• W1851153456 hasRelatedWork W2973487154 @default.

• next