Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046665182> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2046665182 endingPage "315" @default.
- W2046665182 startingPage "307" @default.
- W2046665182 abstract "A class of Petri nets, called normal Petri nets, is introduced, and it is shown that, for each initial marking, the reachability set of a normal marked Petri net is an effectively computable semilinear set. More generally, we show that the reachability set of a marked Petri net is an effectively computable semilinear set unless the total number of tokens in a minimal circuit is decreased to 0. We also show that a Petri net is normal if and only if it is weakly persistent for each initial marking without token-free circuits." @default.
- W2046665182 created "2016-06-24" @default.
- W2046665182 creator A5002140350 @default.
- W2046665182 date "1984-01-01" @default.
- W2046665182 modified "2023-10-17" @default.
- W2046665182 title "Normal Petri nets" @default.
- W2046665182 cites W1964874178 @default.
- W2046665182 cites W1966992415 @default.
- W2046665182 cites W1970398023 @default.
- W2046665182 cites W1971231744 @default.
- W2046665182 cites W1993742654 @default.
- W2046665182 cites W2014601143 @default.
- W2046665182 cites W2017315323 @default.
- W2046665182 cites W2027710994 @default.
- W2046665182 cites W2162339458 @default.
- W2046665182 doi "https://doi.org/10.1016/0304-3975(84)90038-0" @default.
- W2046665182 hasPublicationYear "1984" @default.
- W2046665182 type Work @default.
- W2046665182 sameAs 2046665182 @default.
- W2046665182 citedByCount "31" @default.
- W2046665182 countsByYear W20466651822012 @default.
- W2046665182 countsByYear W20466651822015 @default.
- W2046665182 countsByYear W20466651822016 @default.
- W2046665182 countsByYear W20466651822018 @default.
- W2046665182 countsByYear W20466651822020 @default.
- W2046665182 countsByYear W20466651822021 @default.
- W2046665182 countsByYear W20466651822022 @default.
- W2046665182 crossrefType "journal-article" @default.
- W2046665182 hasAuthorship W2046665182A5002140350 @default.
- W2046665182 hasConcept C11413529 @default.
- W2046665182 hasConcept C118615104 @default.
- W2046665182 hasConcept C136643341 @default.
- W2046665182 hasConcept C14166107 @default.
- W2046665182 hasConcept C146763376 @default.
- W2046665182 hasConcept C154945302 @default.
- W2046665182 hasConcept C177264268 @default.
- W2046665182 hasConcept C197551870 @default.
- W2046665182 hasConcept C199360897 @default.
- W2046665182 hasConcept C2524010 @default.
- W2046665182 hasConcept C2777212361 @default.
- W2046665182 hasConcept C33923547 @default.
- W2046665182 hasConcept C38652104 @default.
- W2046665182 hasConcept C38677869 @default.
- W2046665182 hasConcept C41008148 @default.
- W2046665182 hasConcept C48145219 @default.
- W2046665182 hasConcept C54355233 @default.
- W2046665182 hasConcept C86803240 @default.
- W2046665182 hasConceptScore W2046665182C11413529 @default.
- W2046665182 hasConceptScore W2046665182C118615104 @default.
- W2046665182 hasConceptScore W2046665182C136643341 @default.
- W2046665182 hasConceptScore W2046665182C14166107 @default.
- W2046665182 hasConceptScore W2046665182C146763376 @default.
- W2046665182 hasConceptScore W2046665182C154945302 @default.
- W2046665182 hasConceptScore W2046665182C177264268 @default.
- W2046665182 hasConceptScore W2046665182C197551870 @default.
- W2046665182 hasConceptScore W2046665182C199360897 @default.
- W2046665182 hasConceptScore W2046665182C2524010 @default.
- W2046665182 hasConceptScore W2046665182C2777212361 @default.
- W2046665182 hasConceptScore W2046665182C33923547 @default.
- W2046665182 hasConceptScore W2046665182C38652104 @default.
- W2046665182 hasConceptScore W2046665182C38677869 @default.
- W2046665182 hasConceptScore W2046665182C41008148 @default.
- W2046665182 hasConceptScore W2046665182C48145219 @default.
- W2046665182 hasConceptScore W2046665182C54355233 @default.
- W2046665182 hasConceptScore W2046665182C86803240 @default.
- W2046665182 hasIssue "3" @default.
- W2046665182 hasLocation W20466651821 @default.
- W2046665182 hasOpenAccess W2046665182 @default.
- W2046665182 hasPrimaryLocation W20466651821 @default.
- W2046665182 hasRelatedWork W1904654453 @default.
- W2046665182 hasRelatedWork W1969297029 @default.
- W2046665182 hasRelatedWork W1980200158 @default.
- W2046665182 hasRelatedWork W1989586504 @default.
- W2046665182 hasRelatedWork W2046665182 @default.
- W2046665182 hasRelatedWork W2099509932 @default.
- W2046665182 hasRelatedWork W2144540488 @default.
- W2046665182 hasRelatedWork W2145663787 @default.
- W2046665182 hasRelatedWork W2174637891 @default.
- W2046665182 hasRelatedWork W2362531579 @default.
- W2046665182 hasVolume "31" @default.
- W2046665182 isParatext "false" @default.
- W2046665182 isRetracted "false" @default.
- W2046665182 magId "2046665182" @default.
- W2046665182 workType "article" @default.