Matches in SemOpenAlex for { <https://semopenalex.org/work/W2240210591> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2240210591 abstract "Linear logic is a suitable logical system for showing how program systems can be described. Individual connectives used in linear logic formulae correspond to some fragments of Petri nets, the other tool for modeling behavior of systems. In this paper we use this correspondence between linear logic and Petri nets to show how the composition of small working Petri nets brings new problems not occurring in original components. Considering small Petri nets as components we illustrate the problems arising by composition on several examples." @default.
- W2240210591 created "2016-06-24" @default.
- W2240210591 creator A5027227616 @default.
- W2240210591 creator A5046240031 @default.
- W2240210591 creator A5051224087 @default.
- W2240210591 date "2015-11-01" @default.
- W2240210591 modified "2023-09-24" @default.
- W2240210591 title "Component composition using linear logic and Petri nets" @default.
- W2240210591 cites W147093031 @default.
- W2240210591 cites W2085362584 @default.
- W2240210591 cites W2151402914 @default.
- W2240210591 cites W2192324004 @default.
- W2240210591 cites W2586830457 @default.
- W2240210591 cites W2186925822 @default.
- W2240210591 cites W2739903892 @default.
- W2240210591 doi "https://doi.org/10.1109/informatics.2015.7377814" @default.
- W2240210591 hasPublicationYear "2015" @default.
- W2240210591 type Work @default.
- W2240210591 sameAs 2240210591 @default.
- W2240210591 citedByCount "1" @default.
- W2240210591 countsByYear W22402105912019 @default.
- W2240210591 crossrefType "proceedings-article" @default.
- W2240210591 hasAuthorship W2240210591A5027227616 @default.
- W2240210591 hasAuthorship W2240210591A5046240031 @default.
- W2240210591 hasAuthorship W2240210591A5051224087 @default.
- W2240210591 hasConcept C121332964 @default.
- W2240210591 hasConcept C136155141 @default.
- W2240210591 hasConcept C138885662 @default.
- W2240210591 hasConcept C146763376 @default.
- W2240210591 hasConcept C168167062 @default.
- W2240210591 hasConcept C197551870 @default.
- W2240210591 hasConcept C199360897 @default.
- W2240210591 hasConcept C28077239 @default.
- W2240210591 hasConcept C38677869 @default.
- W2240210591 hasConcept C40231798 @default.
- W2240210591 hasConcept C41008148 @default.
- W2240210591 hasConcept C41895202 @default.
- W2240210591 hasConcept C54355233 @default.
- W2240210591 hasConcept C80444323 @default.
- W2240210591 hasConcept C86803240 @default.
- W2240210591 hasConcept C97355855 @default.
- W2240210591 hasConceptScore W2240210591C121332964 @default.
- W2240210591 hasConceptScore W2240210591C136155141 @default.
- W2240210591 hasConceptScore W2240210591C138885662 @default.
- W2240210591 hasConceptScore W2240210591C146763376 @default.
- W2240210591 hasConceptScore W2240210591C168167062 @default.
- W2240210591 hasConceptScore W2240210591C197551870 @default.
- W2240210591 hasConceptScore W2240210591C199360897 @default.
- W2240210591 hasConceptScore W2240210591C28077239 @default.
- W2240210591 hasConceptScore W2240210591C38677869 @default.
- W2240210591 hasConceptScore W2240210591C40231798 @default.
- W2240210591 hasConceptScore W2240210591C41008148 @default.
- W2240210591 hasConceptScore W2240210591C41895202 @default.
- W2240210591 hasConceptScore W2240210591C54355233 @default.
- W2240210591 hasConceptScore W2240210591C80444323 @default.
- W2240210591 hasConceptScore W2240210591C86803240 @default.
- W2240210591 hasConceptScore W2240210591C97355855 @default.
- W2240210591 hasLocation W22402105911 @default.
- W2240210591 hasOpenAccess W2240210591 @default.
- W2240210591 hasPrimaryLocation W22402105911 @default.
- W2240210591 hasRelatedWork W1486676229 @default.
- W2240210591 hasRelatedWork W1494753485 @default.
- W2240210591 hasRelatedWork W1502896170 @default.
- W2240210591 hasRelatedWork W1553001612 @default.
- W2240210591 hasRelatedWork W1558533210 @default.
- W2240210591 hasRelatedWork W1566249614 @default.
- W2240210591 hasRelatedWork W1577150716 @default.
- W2240210591 hasRelatedWork W1584758696 @default.
- W2240210591 hasRelatedWork W1608477343 @default.
- W2240210591 hasRelatedWork W1692205652 @default.
- W2240210591 hasRelatedWork W1916662795 @default.
- W2240210591 hasRelatedWork W1987508848 @default.
- W2240210591 hasRelatedWork W21738827 @default.
- W2240210591 hasRelatedWork W2883818073 @default.
- W2240210591 hasRelatedWork W2903874929 @default.
- W2240210591 hasRelatedWork W2915557110 @default.
- W2240210591 hasRelatedWork W2916064013 @default.
- W2240210591 hasRelatedWork W2916743419 @default.
- W2240210591 hasRelatedWork W597347111 @default.
- W2240210591 hasRelatedWork W2285444239 @default.
- W2240210591 isParatext "false" @default.
- W2240210591 isRetracted "false" @default.
- W2240210591 magId "2240210591" @default.
- W2240210591 workType "article" @default.