Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137122683> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2137122683 endingPage "180" @default.
- W2137122683 startingPage "169" @default.
- W2137122683 abstract "In this paper, we study composition and decomposition of Petri nets via a common set of places or transitions. We are interested in automatical verification of Petri nets properties from the point of view of reusability of partial results already obtained. We give two algorithms which allow to compute the minimal covering graph of a Petri net by composing the minimal covering graphs of each of its modules." @default.
- W2137122683 created "2016-06-24" @default.
- W2137122683 creator A5051227207 @default.
- W2137122683 creator A5051788925 @default.
- W2137122683 date "1992-01-01" @default.
- W2137122683 modified "2023-09-26" @default.
- W2137122683 title "Avoiding state explosion by composition of minimal covering graphs" @default.
- W2137122683 cites W2106001218 @default.
- W2137122683 cites W4249538237 @default.
- W2137122683 doi "https://doi.org/10.1007/3-540-55179-4_17" @default.
- W2137122683 hasPublicationYear "1992" @default.
- W2137122683 type Work @default.
- W2137122683 sameAs 2137122683 @default.
- W2137122683 citedByCount "2" @default.
- W2137122683 crossrefType "book-chapter" @default.
- W2137122683 hasAuthorship W2137122683A5051227207 @default.
- W2137122683 hasAuthorship W2137122683A5051788925 @default.
- W2137122683 hasBestOaLocation W21371226831 @default.
- W2137122683 hasConcept C11413529 @default.
- W2137122683 hasConcept C124681953 @default.
- W2137122683 hasConcept C132525143 @default.
- W2137122683 hasConcept C137981799 @default.
- W2137122683 hasConcept C138885662 @default.
- W2137122683 hasConcept C177264268 @default.
- W2137122683 hasConcept C18903297 @default.
- W2137122683 hasConcept C197551870 @default.
- W2137122683 hasConcept C199360897 @default.
- W2137122683 hasConcept C2777904410 @default.
- W2137122683 hasConcept C38677869 @default.
- W2137122683 hasConcept C40231798 @default.
- W2137122683 hasConcept C41008148 @default.
- W2137122683 hasConcept C41895202 @default.
- W2137122683 hasConcept C48103436 @default.
- W2137122683 hasConcept C80444323 @default.
- W2137122683 hasConcept C86803240 @default.
- W2137122683 hasConceptScore W2137122683C11413529 @default.
- W2137122683 hasConceptScore W2137122683C124681953 @default.
- W2137122683 hasConceptScore W2137122683C132525143 @default.
- W2137122683 hasConceptScore W2137122683C137981799 @default.
- W2137122683 hasConceptScore W2137122683C138885662 @default.
- W2137122683 hasConceptScore W2137122683C177264268 @default.
- W2137122683 hasConceptScore W2137122683C18903297 @default.
- W2137122683 hasConceptScore W2137122683C197551870 @default.
- W2137122683 hasConceptScore W2137122683C199360897 @default.
- W2137122683 hasConceptScore W2137122683C2777904410 @default.
- W2137122683 hasConceptScore W2137122683C38677869 @default.
- W2137122683 hasConceptScore W2137122683C40231798 @default.
- W2137122683 hasConceptScore W2137122683C41008148 @default.
- W2137122683 hasConceptScore W2137122683C41895202 @default.
- W2137122683 hasConceptScore W2137122683C48103436 @default.
- W2137122683 hasConceptScore W2137122683C80444323 @default.
- W2137122683 hasConceptScore W2137122683C86803240 @default.
- W2137122683 hasLocation W21371226831 @default.
- W2137122683 hasOpenAccess W2137122683 @default.
- W2137122683 hasPrimaryLocation W21371226831 @default.
- W2137122683 hasRelatedWork W1553756861 @default.
- W2137122683 hasRelatedWork W16014793 @default.
- W2137122683 hasRelatedWork W2164908350 @default.
- W2137122683 hasRelatedWork W2171468557 @default.
- W2137122683 hasRelatedWork W2279888664 @default.
- W2137122683 hasRelatedWork W2348181611 @default.
- W2137122683 hasRelatedWork W2350551277 @default.
- W2137122683 hasRelatedWork W3012529106 @default.
- W2137122683 hasRelatedWork W3178247821 @default.
- W2137122683 hasRelatedWork W92744612 @default.
- W2137122683 isParatext "false" @default.
- W2137122683 isRetracted "false" @default.
- W2137122683 magId "2137122683" @default.
- W2137122683 workType "book-chapter" @default.