Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396297410> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2396297410 abstract "In this paper we discuss the complexity of LTL model checking of safe Elementary Object Nets (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-withinnets paradigm. Object nets are called elementary if the net system has a two levelled structure. The well known p/t nets can be considered as a special case of Eos. For p/t nets the concept of safeness means that there is at most one token on each place. Since object nets have nested markings there are different possibilities to generalise this idea for Eos. In this paper we concentrate on the variant of Eos safeness that guarantees the finiteness of state spaces and show that for safe Eos the LTL model checking problem is PSpace-complete." @default.
- W2396297410 created "2016-06-24" @default.
- W2396297410 creator A5060178459 @default.
- W2396297410 creator A5082391046 @default.
- W2396297410 date "2018-01-23" @default.
- W2396297410 modified "2023-09-23" @default.
- W2396297410 title "Complexity of LTL Model-Checking for Safe Object Nets" @default.
- W2396297410 cites W1481048557 @default.
- W2396297410 cites W1502003955 @default.
- W2396297410 cites W1512310098 @default.
- W2396297410 cites W1527564344 @default.
- W2396297410 cites W1551938402 @default.
- W2396297410 cites W1554183872 @default.
- W2396297410 cites W1582557530 @default.
- W2396297410 cites W1588738710 @default.
- W2396297410 cites W1756240635 @default.
- W2396297410 cites W1827220193 @default.
- W2396297410 cites W1886079802 @default.
- W2396297410 cites W1904654453 @default.
- W2396297410 cites W1976195354 @default.
- W2396297410 cites W1982129592 @default.
- W2396297410 cites W2001487918 @default.
- W2396297410 cites W2083567135 @default.
- W2396297410 cites W2099006718 @default.
- W2396297410 cites W2144094614 @default.
- W2396297410 cites W3021856877 @default.
- W2396297410 cites W2485149744 @default.
- W2396297410 doi "https://doi.org/10.29007/hn5h" @default.
- W2396297410 hasPublicationYear "2018" @default.
- W2396297410 type Work @default.
- W2396297410 sameAs 2396297410 @default.
- W2396297410 citedByCount "1" @default.
- W2396297410 countsByYear W23962974102013 @default.
- W2396297410 crossrefType "proceedings-article" @default.
- W2396297410 hasAuthorship W2396297410A5060178459 @default.
- W2396297410 hasAuthorship W2396297410A5082391046 @default.
- W2396297410 hasBestOaLocation W23962974101 @default.
- W2396297410 hasConcept C110251889 @default.
- W2396297410 hasConcept C136155141 @default.
- W2396297410 hasConcept C14166107 @default.
- W2396297410 hasConcept C154945302 @default.
- W2396297410 hasConcept C197551870 @default.
- W2396297410 hasConcept C199360897 @default.
- W2396297410 hasConcept C2524010 @default.
- W2396297410 hasConcept C2781238097 @default.
- W2396297410 hasConcept C33923547 @default.
- W2396297410 hasConcept C38652104 @default.
- W2396297410 hasConcept C38677869 @default.
- W2396297410 hasConcept C41008148 @default.
- W2396297410 hasConcept C48103436 @default.
- W2396297410 hasConcept C48145219 @default.
- W2396297410 hasConcept C80444323 @default.
- W2396297410 hasConceptScore W2396297410C110251889 @default.
- W2396297410 hasConceptScore W2396297410C136155141 @default.
- W2396297410 hasConceptScore W2396297410C14166107 @default.
- W2396297410 hasConceptScore W2396297410C154945302 @default.
- W2396297410 hasConceptScore W2396297410C197551870 @default.
- W2396297410 hasConceptScore W2396297410C199360897 @default.
- W2396297410 hasConceptScore W2396297410C2524010 @default.
- W2396297410 hasConceptScore W2396297410C2781238097 @default.
- W2396297410 hasConceptScore W2396297410C33923547 @default.
- W2396297410 hasConceptScore W2396297410C38652104 @default.
- W2396297410 hasConceptScore W2396297410C38677869 @default.
- W2396297410 hasConceptScore W2396297410C41008148 @default.
- W2396297410 hasConceptScore W2396297410C48103436 @default.
- W2396297410 hasConceptScore W2396297410C48145219 @default.
- W2396297410 hasConceptScore W2396297410C80444323 @default.
- W2396297410 hasLocation W23962974101 @default.
- W2396297410 hasOpenAccess W2396297410 @default.
- W2396297410 hasPrimaryLocation W23962974101 @default.
- W2396297410 hasRelatedWork W1506995308 @default.
- W2396297410 hasRelatedWork W1517948404 @default.
- W2396297410 hasRelatedWork W1682790944 @default.
- W2396297410 hasRelatedWork W2099509932 @default.
- W2396297410 hasRelatedWork W2121853504 @default.
- W2396297410 hasRelatedWork W2159034671 @default.
- W2396297410 hasRelatedWork W2161449687 @default.
- W2396297410 hasRelatedWork W2293352129 @default.
- W2396297410 hasRelatedWork W2396297410 @default.
- W2396297410 hasRelatedWork W2586039792 @default.
- W2396297410 isParatext "false" @default.
- W2396297410 isRetracted "false" @default.
- W2396297410 magId "2396297410" @default.
- W2396297410 workType "article" @default.