Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567743911> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1567743911 endingPage "293" @default.
- W1567743911 startingPage "274" @default.
- W1567743911 abstract "In this paper we aim to set up a framework for object Petri net semantics, allowing the modification of object net structures at run-time. The approach uses linear logic Petri nets (LLPNs) and performs the structure modification on a linear logic encoding of the object net. In addition, Valk’s self-modifying Petri nets are shown to be subsumed by LLPNs. We expand on the existing theory of Farwer’s LLPNs, which are Petri nets with linear logic formulae as tokens. This work in progress uses intuitionistic linear logic as the basis of a method for ensuring desirable properties — such as termination or non-termination — of P/T nets, coloured Petri nets and LLPNs." @default.
- W1567743911 created "2016-06-24" @default.
- W1567743911 creator A5003857963 @default.
- W1567743911 creator A5011186381 @default.
- W1567743911 date "2004-01-01" @default.
- W1567743911 modified "2023-10-18" @default.
- W1567743911 title "Dynamic Modification of System Structures Using LLPNs" @default.
- W1567743911 cites W146979983 @default.
- W1567743911 cites W147093031 @default.
- W1567743911 cites W1506995308 @default.
- W1567743911 cites W1513999490 @default.
- W1567743911 cites W1519278062 @default.
- W1567743911 cites W1541027160 @default.
- W1567743911 cites W1580745021 @default.
- W1567743911 cites W1692205652 @default.
- W1567743911 cites W1759934887 @default.
- W1567743911 cites W1886448265 @default.
- W1567743911 cites W2012968289 @default.
- W1567743911 cites W2145663787 @default.
- W1567743911 cites W2163697104 @default.
- W1567743911 cites W2180774571 @default.
- W1567743911 cites W2396926180 @default.
- W1567743911 cites W1581947609 @default.
- W1567743911 doi "https://doi.org/10.1007/978-3-540-39866-0_28" @default.
- W1567743911 hasPublicationYear "2004" @default.
- W1567743911 type Work @default.
- W1567743911 sameAs 1567743911 @default.
- W1567743911 citedByCount "5" @default.
- W1567743911 crossrefType "book-chapter" @default.
- W1567743911 hasAuthorship W1567743911A5003857963 @default.
- W1567743911 hasAuthorship W1567743911A5011186381 @default.
- W1567743911 hasConcept C11413529 @default.
- W1567743911 hasConcept C136155141 @default.
- W1567743911 hasConcept C14166107 @default.
- W1567743911 hasConcept C154945302 @default.
- W1567743911 hasConcept C177264268 @default.
- W1567743911 hasConcept C184337299 @default.
- W1567743911 hasConcept C197551870 @default.
- W1567743911 hasConcept C199360897 @default.
- W1567743911 hasConcept C2524010 @default.
- W1567743911 hasConcept C2781238097 @default.
- W1567743911 hasConcept C28077239 @default.
- W1567743911 hasConcept C33923547 @default.
- W1567743911 hasConcept C38677869 @default.
- W1567743911 hasConcept C41008148 @default.
- W1567743911 hasConcept C80444323 @default.
- W1567743911 hasConceptScore W1567743911C11413529 @default.
- W1567743911 hasConceptScore W1567743911C136155141 @default.
- W1567743911 hasConceptScore W1567743911C14166107 @default.
- W1567743911 hasConceptScore W1567743911C154945302 @default.
- W1567743911 hasConceptScore W1567743911C177264268 @default.
- W1567743911 hasConceptScore W1567743911C184337299 @default.
- W1567743911 hasConceptScore W1567743911C197551870 @default.
- W1567743911 hasConceptScore W1567743911C199360897 @default.
- W1567743911 hasConceptScore W1567743911C2524010 @default.
- W1567743911 hasConceptScore W1567743911C2781238097 @default.
- W1567743911 hasConceptScore W1567743911C28077239 @default.
- W1567743911 hasConceptScore W1567743911C33923547 @default.
- W1567743911 hasConceptScore W1567743911C38677869 @default.
- W1567743911 hasConceptScore W1567743911C41008148 @default.
- W1567743911 hasConceptScore W1567743911C80444323 @default.
- W1567743911 hasLocation W15677439111 @default.
- W1567743911 hasOpenAccess W1567743911 @default.
- W1567743911 hasPrimaryLocation W15677439111 @default.
- W1567743911 hasRelatedWork W1481202007 @default.
- W1567743911 hasRelatedWork W1506247301 @default.
- W1567743911 hasRelatedWork W1506995308 @default.
- W1567743911 hasRelatedWork W1606047829 @default.
- W1567743911 hasRelatedWork W1682790944 @default.
- W1567743911 hasRelatedWork W2095807838 @default.
- W1567743911 hasRelatedWork W2354973518 @default.
- W1567743911 hasRelatedWork W2972287129 @default.
- W1567743911 hasRelatedWork W2583321602 @default.
- W1567743911 hasRelatedWork W2586039792 @default.
- W1567743911 isParatext "false" @default.
- W1567743911 isRetracted "false" @default.
- W1567743911 magId "1567743911" @default.
- W1567743911 workType "book-chapter" @default.